Leverage monad.