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