Proxy and new-typeable

[Ben Gamari]

Ben Gamari <bgamari.foss at gmail.com> writes:

> Here[1] is my attempt at moving Proxy to its own module and giving it a
> reasonably complete set of instances (blatantly stolen from
> tagged). Comments welcome, particularly if you can spot any avoidable
> portability issues as my experience here is pretty limited.
>
> [1] https://github.com/bgamari/packages-base/tree/proxy

Is there any objection to this going in? From what I can tell, this is
the best solution we are going to find.

Cheers,

- Ben