Where does this array come from ?

[Remi Forax]

I've was debugging a code yesterday that was printing
  Empty[]

After some head scratching, trying to find an array of Empty, i found that it was just an empty record
  record Empty() { }

This is another clue that using square brackets for toString() is a bad idea !

regards,
Rémi