Bloggposten forklarer Haskells kind-system, altså typene til typer, og hvordan det brukes i språkets typesystem.

Kilde: https://thunk.blog/posts/types-of-types-haskell-kind-system/