Ben, Austin I wonder if one of you could put up a big patch on Phab for me? I started about two months ago on a modest refactoring of HsType and friends, to clarify and tidy up exactly where quantification takes place in types. Although initially driven by making the implementation of wildcards more tidy (and fixing a number of bugs), I gradually got drawn into a pretty big process, which I've been doing on and off for quite a long time. It's time to finish! I could just commit, but it's good practice to put it on Phab first. Could you do that for me? · It's in branch wip/spj-wildcard-refactor · It's up to date with HEAD from a day or two back · The principal driving change is described in Note [HsType binders] in HsType. Worth reading! Those data type changes drive almost everything else. · There are some uninteresting knock-on changes in Haddock, which are in wip/spj-wildcard-refactor in utils/haddock. I've done the submodule commit thing so the ghc-repo branch should refer correctly to the Haddock branch. · The commit log on the branch is of no interest; just dump it entirely. I will write a proper commit message in due course. · A handful of tests are failing. I'm working on that, but I want to get this onto Phab now awyway. You could include this email as the Phab description. Thanks! Simon