I'm on track for that. Did a bunch of performance-related debugging over the weekend, and I can observe nice improvements. Just checking those fixes now. If the results are acceptable, I have to double-check testsuite wibbles and then I'll rebase, validate, and push. Richard On Dec 7, 2015, at 10:26 AM, Simon Peyton Jones wrote:

Richard

What’s your ETA on the kind-equality stuff? We wondered in today’s call. We want to make an RC next week.

Simon