testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T11700.hs
1 {-# LANGUAGE GADTs, TypeFamilies #-} -- Remove this line and the code compiles.
2
3 module T11700 where
4
5 data Muse
6 data Message
7 data Folder
8
9 class PersistEntity record
10
11 data Entity record where
12 Entity :: PersistEntity record => record -> Entity record
13
14 fn1 :: (Entity Muse, Entity Message) -> Message
15 fn1 cluster = let (Entity foo, Entity msg) = cluster
16 in msg
17 -- fn1 (Entity foo, Entity msg) = msg
18