Explanation for array initialization peculiarities

        Ty[] tys = {};
        Console.WriteLine(tys.Length); // This is fine
        
        // Of is a Ty[]
        var tup = new Ty.Tuple { Of = {} };
        Console.WriteLine(tup.Of.Length); // This causes a null pointer exception