Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / T13780a.hs
1 {-# LANGUAGE ExistentialQuantification #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE DataKinds, PolyKinds #-}
4 module T13780a where
5
6 data family Sing (a :: k)
7
8 data Foo a = a ~ Bool => MkFoo
9 data instance Sing (z :: Foo a) = (z ~ MkFoo) => SMkFoo