Representations of some basic types| hackage.haskell.org
Haskell's kind system - a primer| diogocastro.com
