@misc{indiciae3136bb28a783,
  title = {Omnidirectional type inference for ML: principality any way},
  author = {Alistair O'Brien and Didier Rémy and Gabriel Scherer},
  year = {2026},
  url = {https://arxiv.org/abs/2511.10343},
  note = {Source identifier: 2511.10343}
}