やったこと

Lens

なんかGrateについての記事を見て面白そうだなぁと思ったので色々実装してみた。

https://gist.github.com/makenowjust/73feb8d1752b7861f4dc50e91f8870e6

((S => A) => B) => Tが(F[A] => B) => (F[S] => T)に同型だというのが面白かった。(この辺)
米田埋め込みだ。

継続っぽさもあるので難しい。