Monad instance.