Monadic maps and folds for arbitrary datatypes. Dept INF, Univ Twente (1994)

by Maarten Fokkinga