Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T12381.hs
1 {-# LANGUAGE DataKinds, PolyKinds, TypeFamilies #-}
2 module Kinds where
3
4 import GHC.Types
5
6 type family G (a :: Type) :: Type
7 type instance G Int = Bool
8
9 type family F (a :: Type) :: G a
10 type instance F Int = True