Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism. - Patrycja Balik; Szymon Jedras; Piotr Polesiuk (CoRR, 2025)