Monad for managed values
