Ernest G. Manes Implementing Collection Classes with Monads. 231-276 1998 8 Mathematical Structures in Computer Science 3 db/journals/mscs/mscs8.html#Manes98