An existential crisis resolved: type inference for first-class existential types [pdf]