Control.Comonad.Cofree

data Cofree f a

class ComonadCofree f w

section

coiter

unfold

hoistCofree

Lenses into cofree comonads

_extract

_unwrap

telescoped