add a monad transform learn demo, mt.hs