Yeah, I'm not sure I've ever seen NaN called or as an example to be emulated before, rather than something people complain about.

Holy shit, I'd love to see NaN as a proper sum type. That's the way to do it. That would fix everything.