In C a pointer is a version of the optional type, implementing an explicit version of it is therefore pointless. In other languages you could enforce that a poi

In C a pointer is a version of the optional type, implementing an explicit version of it is therefore pointless. In other languages you could enforce that a pointer can't be null or even forbid it to be uninitialized therefore you need to have an optional type for the cases where you want to allow null, so if you get a pointer you can trust it a little more.