@Efi zero is a number
null is not
@lizardsquid null is a number, zero is a different number, NaN is another different number, the number type is a number, the function type is a a number
@Efi what I'm saying is that only numbers should be of type number
null shouldn't be of type number, neither should NaN, neither should functions
@Efi Languages exist that don't have null, though - rust, ocaml, haskell
@lizardsquid you can't not have null is all I'm saying, it's an existential construct, like the unit or the input