Re: [Haskell-cafe] How to implement this? A case for scoped record labels?

On Sun, May 31, 2009 at 06:20:23PM -0700, Iavor Diatchki wrote:

and so on. It is a bit verbose, but you only have to do it once for your protocol, and then you get the nice overloaded interface.

This also seems like the kind of thing perfectly suited to Template Haskell. Especially if the records might end up being modified, fields added, etc., having some TH code to regenerate all the necessary classes and instances from some compact description could be a big win, and probably not too hard to code either. -Brent