A generic recursion toolbox for Haskell or: scrap your boilerplate systematically.

Deling Ren, Martin Erwig

Browse the full HASKELL paper archive.