nonEmpty
Empty
Ops
EmptyOps
nonInheritedOps
ConsK
Empty
EmptyK
Extract
One
Pure
Zero
nonOne
One
Ops
nonZero
Zero
Ops