[Haskell-cafe] A backwards-compatible record proposal

[Brian Hulley]

Brian Hulley wrote:
> In the module containing the data decl for the record, the compiler
> inserts the following:
> 
>    instance (.x) (Vector3 a) a where
>        (.x) v = ... -- compiler generated code to access the field

instance (.x) (Vector3 a) a where
    (.x) Vector3{.x = x} = x