Create monad.hs