ana.Rd
The anamorphism, categorical dual of the catamorphism
ana(coalg, expr)
A coalgebra
A terminal expression