Ops
ApplyK FunctorK InvariantK SemigroupalK
ops
ApplyK FunctorK InvariantK SemigroupalK