Designing type inference for high quality type errors | Heykuki News