  The tool of functional averaging over some ``large'' diffeomorphisms is used
to describe quantum systems with constraints, in particular quantum cosmology,
in the language of quantum Effective Action. Simple toy models demonstrate a
supposedly general phenomenon: the presence of a constraint results in
``quantum repel'' from the classical mass shell.
