Cofree

advanced

Supported Type Classes

Module Type classes
arrow.recursion.typeclasses Birecursive, Corecursive, Recursive
arrow.typeclasses Comonad, Functor

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