John Cowan wrote: > No, the irreplaceable thing about records, no matter how you slice it, > is their ability to create novel disjoint types. > All you need for disjoint types is a global property table. -t