Re: Proxy and new-typeable

José Pedro Magalhães writes:

Yes, it's entirely unproblematic, and a good suggestion.

What happened to this proposal? As far as I can tell the new-typeable work is in (or rather, the branch has been deleted) yet Data.Typeable still seems to have its own Proxy. Given that there has been talk of a 7.8 release, this should probably be resolved quickly (although it's not clear to me from the massive thread where that discussion concluded). Cheers, - Ben