Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / T14441.hs
1 {-# LANGUAGE TemplateHaskell #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE DataKinds #-}
4 {-# LANGUAGE PolyKinds #-}
5 module T14441 where
6
7 import Data.Kind
8
9 type family Demote (k :: Type) :: Type
10 type family DemoteX (a :: k) :: Demote k
11
12 data Prox (a :: k) = P
13
14 type instance Demote (Prox (a :: k)) = Prox (DemoteX a)
15 $(return [])
16 type instance DemoteX P = P