Nested datatypes. Pages 52–67 of (1998)

by Richard Bird, Lambert Meertens
Venue:Jeuring, J. (ed), MPC’98. LNCS