Proxy and new-typeable

[Simon Peyton-Jones]

I believe that Richard Eisenberg and Pedro Magalhaes are going to make a concrete proposal.  Maybe it's identical to yours.  Pedro, Richard?

Simon

| -----Original Message-----
| From: libraries-bounces at haskell.org [mailto:libraries-
| bounces at haskell.org] On Behalf Of Ben Gamari
| Sent: 31 March 2013 16:50
| To: libraries at haskell.org; Roman Cheplyaka; Edward Kmett; Shachaf Ben-
| Kiki
| Subject: Re: Proxy and new-typeable
| 
| 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
| 
| _______________________________________________
| Libraries mailing list
| Libraries at haskell.org
| http://www.haskell.org/mailman/listinfo/libraries