Well, we have to start with _something_. You cannot properly explain type inference without explaining unification first, and you cannot properly explain unification without introducing types.

We could dodge the issue by using explicit types everywhere, but that wouldn't be very "haxey". I think mentioning + linking type inference every once in a while should be good enough.