IT練習ノート

IT関連で調べたこと(実際は嵌ったこと)を書いています。

ServantのType Familiesの理解の準備

Sec 4.2 of Servant Paper