Implicit Polarized F: local type inference for impredicativity. - Henry Mercer; Cameron Ramsay; Neel Krishnaswami (CoRR, 2022)