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

AntC anthony_clayden at clear.net.nz
Wed Jun 15 03:29:59 UTC 2016

> 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.

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?


More information about the Glasgow-haskell-users mailing list