Re: Proxy and new-typeable

Hi Ben, Oops. I had updated this page [http://hackage.haskell.org/trac/ghc/wiki/TypeLevelReasoning] with details but forgot to advertise. Pedro and I are scheduled to discuss next week, and I do hope that this get implemented/committed before April is out. Richard On Apr 18, 2013, at 11:54 AM, Ben Gamari wrote:

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