thih-1.0: Typing Haskell In Haskell
Kind
data Kind Source
Constructors
Instances
ppkind :: Int -> Kind -> DocSource