ORF for fields of higher-ranked type [was: TDNR without new operators or syntax changes]

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. 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 application in GHC 8.0. Is there some hope for higher-rank type fields? AntC