xmap
InvariantFunctor
InvariantFunctorSyntax
PartialInvariantFunctor
xmapPartial
PartialInvariantFunctor
PartialInvariantFunctorSyntax