[Dewie]

And IIRC the compiler translates usages of None to null, so any complaint about inefficiency probably does not apply in this case, either.

[dietrichepp]

This is actually quite common in languages which support ADTs—you stick tags in the pointer to discriminate between subtypes of a union.