"Isomorphisms, hylomorphisms and hereditarily finite data types in Haskell."

Paul Tarau (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics