Default Objects with C#

Here is how C# can be designed to support non-nullable reference types.