Haskell中的Comonad类型类是什么？

Haskell中的Comonad类型类是什么？与Control.Comonad的comonad包中的Comonad一样（也欢迎对提供Comonad类型类的任何其他包进行解释）。我隐约听到了Comonad的信息，但我真正了解的只是它提供的东西extract :: w a -> a，与Monad的相似return :: a -> m a。

在“真实”代码中指出Comonad的“真实生活”用法的加分点。

这些链接可能会有所帮助：

1. 评估细胞自动机是昏迷的。特别是，“只要您看到大量的数据结构都由许多小的但相似的计算拼凑而成，就有很大的机会来处理comonad”。
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。Monad / comonad法律规定，当您将该插槽放入return或extract插入该插槽时，结果是标识箭头。规律是相同的，“只是箭头翻转了”。这是一个超级动摇的答案，但希望它能提供一些见识。