MonadFrom.hs