I think this would be a different proposal (though it would likely go in the direction of what @Nick had in mind). The thing that ComptimeOptional is supposed to solve is not that different types can be assumed but that an attribute is present or not based on a parameter. Such a thing as the “parametric var” sought for in a different post.