Fail when trying to lift a monadic value that is not a sub-monad of the
target monad