Re: [ghc-steering-committee] What should we start with?

Simon Peyton Jones writes:

I'd like to suggest that we ADOPT

- Update levity polymorphism - Constraint vs type

for 8.2. They are very well advanced (the former is in HEAD); they tidy up a swamp of bugs; and they are a clear step forward from where we are today.

For the record I agree here; both proposals are well-considered and patch up issues which actively impede some legitimate uses of TypeInType. Do we have objections to adoption? Cheers, - Ben