First parts of Monad.hs