Even more useful will be a Mandatory<T> type. Maybe with “T!” and implicit conversion to T as syntactic sugar.

Edit: Unfortunately it would have the drawback of nonoverloadability due to type erasure.