I can't get Contravariant function args

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

Side Effect free web stores are easy. Your parameters are the users get/post vars, their cookies, and their session.
All your program does is return a new session and the HTML for the user. No need to use I/O or do anything fancy.