HaskellのComonadタイプクラスとは何ですか？

HaskellのComonadタイプクラスとは何ですか？ComonadのようにcomonadパッケージでControl.Comonad（Comonadの型クラスを提供し、他のパッケージの説明にも歓迎されています）。私は漠然とコモナドについて聞いたことがありますが、私がそれについて本当に知っているのは、それがextract :: w a -> aモナドの一種の類似物を提供することだけですreturn :: a -> m a。

「実際の」コードでのComonadの「実際の」使用に注意することのボーナスポイント。

これらのリンクは役立つかもしれません：

1. セルオートマトンの評価は、コモナディックです。特に、「多数の小さいが類似した計算から大きなデータ構造がつながっているのを見るときはいつでも、私たちがコモナドを扱っている可能性が高いです」。
2. シーケンス、ストリーム、セグメント
3. 日常生活におけるコモナード

これは私の質問に完全に答えるものではありませんが、いくつかの関連情報を回答形式にしたかったのです。

"co"（ゆるく）は "矢印を反転"を意味します。これは大まかなビジュアルです。

モナド演算を考えてみましょう：

return :: a ~> m a
flip (>>=) :: (a ~> m b) -> (m a ~> m b)

波線の矢印を逆にすると、コモナディックな操作が得られます。

extract :: a <~ w a
extend :: (a <~ w b) -> (w a <~ w b)

（通常の矢印で書かれています）

extract :: w a -> a
extend :: (w a -> b) -> w a -> w b

通知はこの形式では、どのようにreturnちょうどそうの引数スロットに収まるように起こるの矢印でflip (>>=)、そして同じことが真のであるextractとextend。モナド/共和制の法則によれば、そのスロットに、returnまたはextractそのスロットに入れると、結果は正体の矢になります。法則は同じであり、「矢をひっくり返すだけで」です。それは非常に手探りの答えですが、うまくいけば、それはいくつかの洞察を提供します。