[解決済み] HaskellのComonad型クラスとは何ですか？

質問

HaskellのComonad型クラスとは何ですか？からComonadのように comonad パッケージの Control.Comonad を参照してください。 (Comonad型クラスを提供する他のパッケージの説明も歓迎します)。Comonad については何となく聞いたことがあるが，私が本当に知っているのは，このパッケージが extract :: w a -> a を提供すること，Monad の return :: a -> m a .

ボーナスポイントとして、quot;real"コードにおけるComonadの実際の使用例を挙げました。

どのように解決するのですか？

これらのリンクが参考になると思います。

1. セル・オートマトンの評価はコモナド的である . 特に、「小さな、しかし似たような計算がたくさん組み合わさってできた大きなデータ構造を見たときは、コモナドを扱っている可能性が高い」という。
2. シーケンス、ストリーム、セグメント
3. 日常生活におけるコモナド