anamorphism [math-000J]

As a dual concept, we can draw coalgebra diagram

and define anamorphism as well.

ana :: Functor f => (a -> f a) -> a -> Fix f
ana coalg = Fix . fmap (ana coalg) . coalg