3 ms·An existential crisis resolved: type inference for first-class existential types [pdf]2 points by fanf2 2y ago