Re: [Haskell] Proposal: Allow "\=" for field update in record update syntax

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.