Edward Z Yang[0] is doing a GSoC project (I think) on expanding Backpack[1][2]. He's a GHC contributor, so it's relatively big. And here's overloaded record sy

Edward Z Yang[0] is doing a GSoC project (I think) on expanding Backpack[1][2]. He's a GHC contributor, so it's relatively big. And here's overloaded record syntax: http://www.well-typed.com/blog/84/ http://www.well-typed.com/blog/84/ [0]http://ezyang.com/ http://ezyang.com/ [1]http://plv.mpi-sws.org/backpack/ http://plv.mpi-sws.org/backpack/ [2]http://blog.ezyang.com/2014/07/type-classes-confluence-coherence-global-uniqueness/ http://blog.ezyang.com/2014/07/type-classes-confluence-coher...