Further explanations on the "Mu" thing and its relation with catamorphism[0](a fold[1] that works on every datatype): http://stackoverflow.com/questions/4434292

Further explanations on the "Mu" thing and its relation with catamorphism[0](a fold[1] that works on every datatype): http://stackoverflow.com/questions/4434292/catamorphism-and-tree-traversing-in-haskell/4435137#4435137 http://stackoverflow.com/questions/4434292/catamorphism-and-... and http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/acmmpc-calcfp.pdf http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/acmmp... [0]: https://secure.wikimedia.org/wikipedia/en/wiki/Catamorphism https://secure.wikimedia.org/wikipedia/en/wiki/Catamorphism [1]: https://secure.wikimedia.org/wikipedia/en/wiki/Fold_%28higher-order_function%29 https://secure.wikimedia.org/wikipedia/en/wiki/Fold_%28highe...