Proxy and new-typeable

[Ben Gamari]

José Pedro Magalhães <jpm at cs.uu.nl> 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