Monad functions.