Implementing kind inference

I spent the last few days figuring out how to implement kind inference in Haskell,
so I wrote a blog post about it.

Feedback and corrections are welcome. Happy to be enlightened.

14 Likes