Add unapply version of MonadTrans#liftM
Add example of liftM inference failing
Merge pull request #378 from mpilquist/liftMU

Add unapply version of MonadTrans#liftM