nonInheritedOps

ApplyK FunctorK InvariantK SemigroupalK