nat-optics (hackage): Refinement types for natural numbers with an optics interface
Keywords: library|mit|numeric|optics|haskell|haskell-library|integers