Control.Comonad.Cofree

data Cofree f a

section

unwrap

coiter

unfold

Lenses into cofree comonads

extracting

unwrapping

telescoping