let b : int[int]
    = let a : [int][int]
          = new [int][2];
      in { a[0] = 1;
           a[1] = 2;
           a;
         };
in b;

let b : int[int]
    = let a : [int][int]
          = new (forall B. B)[2];
      in { a[0] = 1;
           a[1] = 2;
           a;
         };
in b;
