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

On Jan 19, 2017, at 6:08 PM, Simon Peyton Jones 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