Re: Proxy and new-typeable

Richard Eisenberg 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