Non-null objects, the Null Object pattern, and T.init

[Walter Bright]

The point being, there is a whole universe of subset types. You cannot begin to 
predict all the use cases, let alone come up with a special syntax for each.