Richard Eisenberg
I think the Right Answer is to get rid of newtype-classes & fix reify, and I’m worried that anything short of that will fail catastrophically at some point. Otherwise, it’s patches on top of patches.
I don’t think there is disagreement here, but there is the question about what to do for 8.2.... and unless we’re ready to roll out the new reify, I think the best course of action is to delay the new Typeable and all this Constraint v Type stuff until 8.4. (The new levity polymorphism stuff already committed is hunky-dory.)
I am going to let you and Simon decide on this. While I would certainly like to get the Typeable stuff off my plate (it's not terribly easy to rebase), I am also acutely aware of the pressure to keep the release cycle moving. In particular, I would like to avoid another drawn out release like 8.0 if at all possible. Of course, I would be happy to help with the implementation of whatever plan we decide upon. Cheers, - Ben