xmap

InvariantFunctor InvariantFunctorSyntax