Gabor and all,
Below you'll find my encoding of GHC.Generics with DataKinds. The most
important part, for this discussion, is the treatment of meta-information.
I don't think we need |sameDatatype|, in particular; why not just use
|sameSymbol|?
Cheers,
Pedro
{-# LANGUAGE TypeFamilies
[added Pedro and Richard to to:]
On 6/30/14, Simon Peyton Jones simo...@microsoft.com wrote:
| Yes I have a branch, and it works! A bunch of things is still missing
| (notably record selectors), but I have a proof-of-concept with a gdiff
| library hooked up to GHC.Generics, and by appealing to