Comment by dreamcompiler

Equality is a very slippery mathematical relationship. This observation formed the genesis of modern Category Theory [0].

NaN is an error monad.

[0] https://www.ams.org/journals/tran/1945-058-00/S0002-9947-194...