[GHC Proposal] Type-indexed Typeable

[Ben Gamari]

Hello everyone,

I just opened Pull Request #16 [1] against the ghc-proposals repository,
describing the new Type-indexed Typeable machinery that we would like to
introduce with GHC 8.2.

Please give it a read through and leave your comments. Thanks!

Cheers,

- Ben


[1] https://github.com/ghc-proposals/ghc-proposals/pull/16
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 472 bytes
Desc: not available
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20161001/0bcbbbeb/attachment.sig>