Haskell's kind system - a primer 17 Oct 2018 This post is available in Chinese here, thanks to JulyTreee. In this post we’ll explore Haskell’s kind system, the similarities between types and kinds, and show how these can be leveraged to write safer and more reusable code. Here’s what’s in store for today: Types and Kinds Data constructors and type constructors Type signatures and kind signatures H