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