In principle I support that idea, but you seemed to be more reluctant? I was hoping perhaps Andres would try a bit harder to convince you before I jumped on to implementing it :-) I'm not reluctant. Rather, I just don't know what the idea IS at the moment! The ticket doesn't provide a spec that is detailed enough for me to understand, nor a single example. If you (or anyone else) wants to work out the design, give examples etc, I'd be happy to review/comment. Simon From: josepedromagalhaes@gmail.com [mailto:josepedromagalhaes@gmail.com] On Behalf Of José Pedro Magalhães Sent: 05 November 2013 15:46 To: Simon Peyton-Jones Cc: ghc-devs@haskell.org Subject: Re: Generics bugs Hi Simon, On Tue, Nov 5, 2013 at 3:37 PM, Simon Peyton-Jones mailto:simonpj@microsoft.com> wrote: Pedro, what's the status on #8479 #8468 I'm discussing how to best handle that with Nick, as he wrote that part of the code. #7346 In principle I support that idea, but you seemed to be more reluctant? I was hoping perhaps Andres would try a bit harder to convince you before I jumped on to implementing it :-) Pedro ? Thanks, Simon Microsoft Research Limited (company number 03369488) is registered in England and Wales Registered office is at 21 Station Road, Cambridge, CB1 2FB