nonEmpty

Empty Ops EmptyOps

nonInheritedOps

ConsK Empty EmptyK Extract One Pure Zero

nonOne

One Ops

nonZero

Zero Ops