Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T6093.hs
1 {-# LANGUAGE GADTs, RankNTypes, PolyKinds #-}
2 module T6093 where
3
4 -- Polymorphic kind recursion
5 data R :: forall k. k -> * where
6 MkR :: R f -> R (f ())
7
8 data IOWitness (a :: k) = IOW
9
10 data Type :: forall k. k -> * where
11 SimpleType :: IOWitness a -> Type a
12 ConstructedType :: Type f -> Type a -> Type (f a)