Extending monads with pattern matching

@inproceedings{Petricek2012ExtendingMW,
  title={Extending monads with pattern matching},
  author={Tomas Petricek and Alan Mycroft and Donald Robert Syme},
  year={2012}
}