Comonad

intermediate

TODO. Meanwhile you can find a short description in the intro to typeclasses.

Data types

Module Data types
arrow.core Eval, Function0, Id, Tuple2
arrow.data Coproduct, Day, Moore, NonEmptyList, Store, Sum
arrow.free Cofree

Type Class Hierarchy