[Haskell-cafe] records proposals list

[David Menendez]

Keean Schupke writes:

>     Haskell already has static records (in H98)
> 
>     Dynamic records are addressed by the HList library, which uses 
> extensions already present in GHC and Hugs (namely Multi-parameter 
> type-classes and function-dependancies).

Is this the case? Every implementation of HList that I've seen also uses
overlapping and undecidable instances.
-- 
David Menendez <zednenem at psualum.com> | "In this house, we obey the laws
<http://www.eyrie.org/~zednenem>      |        of thermodynamics!"