結論とは関係ない流れから解説 この前blog書いたExtendという型クラスに関する話↓ @xuwei_k extendはbindの双対ですが、bindという型クラスがHaskellに無いからじゃないでしょうか？？対称性が取れなくなるみたいな理由かなと感じました。Semigroupoidへ移動…