Monadify simplCore/SimplMonad: custom monad functions are no longer needed