I can't get Contravariant function args

In C++ I'm having a hell of time getting these new contravariant function parameters working.

Side-effectless programming leads to far more memory consumed in operation, because you have to decide all of the new state keeping the old one intact.\