@hackage / nat-optics

Refinement types for natural numbers with an optics interface