[masklinn]

Except contrary to NaN, the type system encodes where it can exist and what its span is.

[dllthomas]

Right, you can rule out the pieces that are typed as "NaN-free" - hopefully that's a lot.

This is a great reason to avoid huge chunks of code stitched together staying inside Maybe, while still being convenient on the small scale.