Re: [Haskell-cafe] Correct parsers for bounded integral values

On Jul 20, 2025, at 9:43 AM, Brandon Allbery wrote:

I would like to point out that if you want correctness, you should use `Integer`. If you are using a bounded `Integral` it is expected that you are doing so because you value speed over correctness. They are _not_ `Z/n`, they are hardware values that have little to do with formal mathematics.

But aren't they de-facto modular integers? Jeff