InvariantFunctor

functional InvariantFunctorExtractor

InvariantFunctorExtractor

functional

InvariantFunctorOps

functional

identity

Monoid

inmap

InvariantFunctor InvariantFunctorOps

invariantFunctor

VariantExtractor