Demarcating transformed monad.