ComonadとExtend

[Kenji Yoshida]

Comonadを調べていたら、Extendという型クラスがあるらしいことを知って

http://d.hatena.ne.jp/xuwei/20130521/1369065666

しかも、昔は一時期

class Extend w => Comonad w where

という関係になっていたらしいのです。

が、今は Extend は ekmett/emigroupoids に移って、Comonad は Extend を継承しなくなってるのですが、

誰か(ある程度想像でもいいので) このあたりの経緯とか理由知ってる人いませんか？

https://github.com/ekmett/comonad/commit/a847f527a8fe32#L0L47

↑ComonadがExtendを継承しなくなったコミット

https://github.com/ekmett/semigroupoids/commit/77b232686280#L1R28

↑Extendを、ComonadからSemigroupoidsに移したコミット