xmap
InvariantFunctor
InvariantFunctorSyntax