@misc{indiciae8f6b7bfb79bb,
  title = {Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism},
  author = {Patrycja Balik and Szymon Jędras and Piotr Polesiuk},
  year = {2025},
  url = {https://arxiv.org/abs/2510.20532},
  note = {Source identifier: 2510.20532}
}