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