1 2 3 4 5 6 7 8 9 10 11
{-# LANGUAGE TypeInType #-} module KindLevels where import Data.Kind data A data B :: A -> * data C :: B a -> * data D :: C b -> * data E :: D c -> *