Control.Comonad.Cofree
data Cofree f a
class ComonadCofree f w
section
coiter
unfold
unfoldM
hoistCofree
_extract
_unwrap
telescoped