A pragmatic approach to maps and folds for parameterized datatypes (1998)

by M P Jones, P Blampied