On 15/06/16 04:29, AntC wrote:
> ...
>
> The earlier design for SORF tried to support higher-ranked fields.
> https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/SORF
>
> That had to be abandoned,
> until explicit type application was available IIRC.
>
> We now have type
> Adam Gundry writes:
> ... Having spent more time thinking about record field overloading
> than perhaps I should, ...
Thanks Adam, another thing on the back burner ...
The earlier design for SORF tried to support higher-ranked fields.