Existential Types — Make OOP Great Again! by Julien Richard Foy