encoding, nor does it look like it supports higher ranked types in any way... (Infact it has the
disadvantage of requiring a class per record, whereas the records in the HList paper require
only a class per function).
class Name r a | r -> a where get_name :: r -> a set_name :: r -> a -> r
Perhaps you can explain how this does support higher ranked fields?
Keean.
_______________________________________________ Haskell mailing list Haskell@haskell.org http://www.haskell.org/mailman/listinfo/haskell