Making monads first-class with template haskell.

Pericles S. Kariotis, Adam M. Procter, William L. Harrison

Browse the full HASKELL paper archive.