Re: Splitting TypeReps

2012-11-26 Thread Gábor Lehel
or me, just an object of my curiosity. (And aside from all of that, 'PTypeRep' seems like a sensible idea.) On Mon, Oct 29, 2012 at 11:28 PM, Simon Peyton-Jones wrote: > My brain is too small to accommodate all this, and I agree with Pedro that > we should keep the "splitting

Splitting TypeReps

2012-10-29 Thread Simon Peyton-Jones
My brain is too small to accommodate all this, and I agree with Pedro that we should keep the "splitting TypeRep" question separate from the "derive Typeable for everything" question. This response is only about splitting TypeReps. I think Gabor's proposal be