Tabulators -- a catalog

[Brian Goetz]

> You can't create an array of T (C, D) safely, so casting an array of
> Object to an array of T is maybe acceptable if you control all the
> access to that array like in collections, but here you export it.

We do control all access during creation.  We instantiate the array, and 
then we only stick things in it that are statically typed to fit.  Once 
the user gets their hands on it, that's a different story...