Added CV monad, but I still need to hide the constructor.