Re: A big patch

Simon Peyton Jones writes:

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?

Sure. It's D1428. Cheers, - Ben