Proxy and new-typeable

[Ben Gamari]

Richard Eisenberg <eir at cis.upenn.edu> writes:

> 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.
>
Great! Thanks for the update.

Cheers,

- Ben