Haskell kind

The Haskell Type of a Haskell Type.

• Haskell Concrete Type
• Haskell Non-concrete Type

Example

>>> :kind Either
Either :: * -> * -> *

data Something a b c d = Whatever a b c d
>>> :kind Something
Something :: * -> * -> * -> *