Types of types: Haskell's Kind systemthunk.blog
60 points by Thom2503 3 days ago | 31 comments