I like that in Rust pointers can't even be null, you have to wrap them in a kind of an "enum" (union, ish) of the pointer and Nil value.

Kinda like a Haskell 'Maybe' ?

I don't know Haskell, but looking quickly that's more like Rust's "Option" which is in std library, built using the odd "enum"