Coyoneda って…… お前 functor がデータ構造になっただけやんけ！！ - ryota-ka's blog

この記事は以下のページに移転しました． blog.ryota-ka.me operational (あるいは freer) と呼ばれているものの説明として， a) Coyoneda を使うと，kind が * -> * であるような任意の型から functor を作り出せる 任意の型 f :: * -> * について Coyoneda f は Functor のインスタンスになる b) Free を使うと，任意の functor から monad を作り出せる Functor のインスタンスである任意の型 f について Free f は Monad のインスタンスになる a と b を組み合わせると，適当な型 f :: * -> * から monad を作り出せて便利〜🙌 というストーリーが往々にして語られる*1． Free については既に多くの解説が存在するので，詳しい解説は他の記事を

[SWIMATH2]

全然分からないけど面白そうな雰囲気を感じた