Proxy and new-typeable

[Richard Eisenberg]

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 <simonpj at microsoft.com> 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