Extending monads with pattern matching.

Tomas Petricek, Alan Mycroft, Don Syme

Browse the full HASKELL paper archive.