Control.Comonad.Cofree

data Cofree f a

section

unwrap

coiter

unfold

Lenses into cofree comonads

extractLens

unwrapLens

telescope