Re: Proxy and new-typeable

Ben Gamari 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