Clare E. Martin Jeremy Gibbons Ian Bayley Disciplined, efficient, generalised folds for nested datatypes. 19-35 2004 16 Formal Asp. Comput. 1 http://dx.doi.org/10.1007/s00165-003-0013-6 db/journals/fac/fac16.html#MartinGB04