Control.Comonad.Cofree
data
Cofree
f a
section
unwrap
coiter
unfold
Lenses into cofree comonads
extractLens
unwrapLens
telescope