On Sat, 22 Dec 2018 at 8:01 PM, Oliver Charles wrote:

On Sat, Dec 22, 2018 at 11:08 AM Anthony Clayden
<anthony_clayden@clear.net.nz> wrote:

> So the paper's main motivation is wrt Trac #9670.

Are you sure you mean #9670?

Oops. Thanks for the catch Oliver. That should be #9627. (One of the tickets to do with FunDeps and type improvement ends in 70 ;-)

AntC