nonEmptyOptimize

SemigroupalOptimizer

nonInheritedOps

ApplyK FunctorK InvariantK SemigroupalK