Monadic Maps and Folds for Arbitrary Datatypes. Memoranda Informatica 94-28 (1994)

by M M Fokkinga