Having looked at the translation on page 10 of Daan's paper, I can see
no advantage in this
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.