instantiate
EmptyKInstances
isEmpty
Empty
Ops
EmptyOps
isOne
One
Ops
isZero
Zero
Ops
iterableIsEmpty
EmptyInstances0