[Haskell] extensible records using associated types

[Barney Hilken]

Of course, under Usage, I should have written:

The record {N1 = x1, ... Nn = xn} should be constructed as (extend N1  
x1 $ ... $ extend Nn xn $ Empty).

Sorry about any confusion!

Barney.