But it is different because you can't dereference x without the check. In other words, you can't really make an accident. My language has maybe<T>, and I have

But it is different because you can't dereference x without the check. In other words, you can't really make an accident. My language has maybe<T>, and I have automatic "re-wrapping" (not sure if there is a better term). where For example, with record R { int x; } maybe<R> r; I can access r.x yet the type is maybe<int>.