"Rolling Your Own MADT - A Connection Between Linear Types and Monads."

Chih-Ping Chen, Paul Hudak (1997)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics