Designing type inference for high quality type errors

Top