f
InvariantFunctorSyntax
SemigroupalSyntax