[Haskell] Extensible records: Static duck typing

[Barney Hilken]

> The scoped labels paper has an interesting feature in this regard:
> labels with different names can be swapped at will, but labels having
> the same name (which is allowed) maintain their order.
>
> - Cale

Yes, I know. The problem is that there are TOO MANY proposals, and  
they are all fundamentally incompatible. The scoped labels idea is  
interesting, but is it useful? No-one has written enough code with ANY  
of the proposals to say what their strengths and weaknesses are.

Barney.