[thex10]

> It eventually turned out that a single type definition in the file was causing all typechecks to become incredibly slow

I've love to read a blog post about this.