Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T11554.hs
1 {-# LANGUAGE GADTs, PolyKinds, RankNTypes #-}
2
3 module T11554 where
4
5 import Data.Kind
6
7 data P (x :: k) = Q
8
9 data A :: Type where
10 B :: forall (a :: A). P a -> A