Switches from X^G to G^X. The former would have been the syntax for a mapping from the monoid, not into the monoid...
