[POPL'24] The Essence of Generalized Algebraic Data Types | ACM SIGPLAN | Podwise