On clubs and data-type constructors, Applications of categories to computer science (1992)

by G M Kelly