Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_compile / KindLevels.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2
3 module KindLevels where
4
5 import Data.Kind
6
7 data A
8 data B :: A -> *
9 data C :: B a -> *
10 data D :: C b -> *
11 data E :: D c -> *