# Implementing kind inference

**URL:** <https://discourse.haskell.org/t/implementing-kind-inference/7732>\
**Category:** Show and Tell\
**Created:** [September 30, 2023, 12:32pm UTC](https://discourse.haskell.org/t/implementing-kind-inference/7732 "2023-09-30T12:32:07Z")\
**Posts on this page:** 1\
**Page:** 1

<div class="post-metadata">

**Author:** ![gilmi](https://sea2.discourse-cdn.com/flex002/user_avatar/discourse.haskell.org/gilmi/32/45_2.png) [@gilmi](https://discourse.haskell.org/u/gilmi)\
**Post date:** [September 30, 2023, 12:32pm UTC](https://discourse.haskell.org/t/implementing-kind-inference/7732/1 "2023-09-30T12:32:07Z")

</div>

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

> **[λm.me - Implementing kind inference](https://gilmi.me/blog/post/2023/09/30/kind-inference)**
>
> A tutorial on how to implement kind inference using unification-based constraint solving.

Feedback and corrections are welcome. Happy to be enlightened.