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

[Richard Eisenberg]

> On Jan 19, 2017, at 6:08 PM, Simon Peyton Jones <simonpj at microsoft.com> wrote:
> 
> I'd like to suggest that we ADOPT
> 
> - Update levity polymorphism
> - Constraint vs type
> 

I second this, if I'm allowed to vote...

Note that the alternate ideas in Constraint vs type are worthwhile discussion and may still happen in the future. Implementing as proposed does not bar the way to future improvements.

Richard