Working Haskell 2010 source code for Dr. Phil Wadler's paper "Monads For Functional Programming"