The code that triggered this long type inference loop seems pretty normal. It&#x27;s not like Damas-Milner&#x27;s pathological case (deeply nested instantiations of type schemas), which is genuinely uncommon.