They can call it any way they fancy, something like &quot;Majestic Royal Type Procession&quot; would have been equally ambitious. But in a context of ML, type inference is a Hindley-Milner inference or an equally powerful equation solving system, and not just a pathetic &quot;assign the RHS type to LHS blindly&quot; as it is in C++ and C#.