# Kind

### From HaskellWiki

(Difference between revisions)

m (+See also) |
(→See also) |
||

Line 15: | Line 15: | ||

* [[GHC/Kinds]] | * [[GHC/Kinds]] | ||

+ | * [http://hackage.haskell.org/trac/ghc/wiki/IntermediateTypes#KindsareTypes Kinds ?, ??, # and (#)] | ||

[[Category:Language]] | [[Category:Language]] |

## Revision as of 05:58, 15 November 2011

**Kinds** classify types. Kinds are to types and type-constructors what types are to values.

Ordinary types have kind `*`. Type constructors have kind `P -> Q`, where `P` and `Q` are kinds. For instance:

Int :: * Maybe :: * -> * Maybe Bool :: * a -> a :: * [] :: * -> * (->) :: * -> * -> *

In Haskell 98, `*` is the only **inhabited kind**, that is, all values have types of kind `*`. GHC introduces another inhabited kind, `#`, for unboxed types.