Omnidirectional type inference for ML: principality any way. - Alistair O'Brien; Didier Rémy; Gabriel Scherer (CoRR, 2025)