ghc-exactprint-0.5.1.0: tests/examples/ghc8/KindLevels.hs
{-# LANGUAGE DataKinds, PolyKinds #-}
module KindLevels where
data A
data B :: A -> *
data C :: B a -> *
data D :: C b -> *
data E :: D c -> *
{-# LANGUAGE DataKinds, PolyKinds #-}
module KindLevels where
data A
data B :: A -> *
data C :: B a -> *
data D :: C b -> *
data E :: D c -> *