RE: Proxy and new-typeable

Simon Peyton-Jones writes:

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

Pedro and Richard, Any news on a proposal? I think we all agree that this should be considered a blocker for the 7.8 release. Cheers, - ben