On Sun, Jul 20, 2025 at 2:45 PM Stefan Klinger <haskell@stefan-klinger.de> wrote:
Brandon Allbery (2025-Jul-20, excerpt):
> If you are using a bounded `Integral` it is expected that you are
> doing so because you value speed over correctness.

No?  It is expected that I'm sure all my calculations fit within that
type.  Doing things wrong quickly is pointless.

That still sounds more like `Z/n` than what restricted-range types are intended for. They're isomorphic to machine-level operations, which aren't bounds-checked. 

--
brandon s allbery kf8nh