Cofree anamorphism with a fused map, lazily evaluated.
Cofree anamorphism with a fused map.
A stack-safe algebraic recursive fold out of the cofree comonad.
A monadic recursive fold out of the cofree comonad into a monad which can express Eval's stack-safety.
Cofree anamorphism, lazily evaluated.