開発者はEdward Kmett

どういう型クラス #??

定義

The TypeclassopediaのときはFunctor型クラスを継承しているが今の実装ではしてない

以下の等式を満たすことが要請される

Pointed則とでも言うか

Functorを継承していない定義の場合、言うほど自明なのか？と思う

上の定義での p が、Functorの定義時の f と一致していることを前提しないと、自然には成り立たない

PointedでないFunctorの例

The Typeclassopediaでは ((,) e) が紹介されているが、

実装では def を使って定義している

参考