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