λm.me - Implementing kind inference A tutorial on how to implement kind inference using unification-based constraint solving.