New posts in catamorphism

How to implement fixed points of functors in Java

java functor higher-kinded-types catamorphism fixed-point-iteration