この記事は CAMPHOR- Advent Calendar 18日目の記事です． こんにちは @yu_i9 です．CAMPHOR- Advent Calendar には今年が初参加になります！ 本記事では「Typing Haskell in Haskell (通称 thih)」から型クラスを含んだ型推論のエッセンスを紹介したいと思…