Refinement types for natural numbers with an optics interface
To build and test with all supported compiler versions:
nix build .#all
