GHC support for the new "record" package

[Simon Marlow]

On 23/01/15 23:41, Simon Peyton Jones wrote:
> | I just
> | noticed that it effectively gives us a syntax for identifier-like Symbol
> | singletons, which could be useful in completely different contexts
>
> Indeed so.  I have written a major increment to
> https://ghc.haskell.org/trac/ghc/wiki/Records/OverloadedRecordFields/Redesign
> which people reading this thread may find interesting.  Look for "Plan B".
>
> For the first time I think I can see a nice, simple, elegant, orthogonal story.

Cunning, and very general.  I like it.

Cheers,
Simon