[fovc]

It’s also useful in typed languages to introduce an existentially quantified type

[guerrilla]

Where do you recommend reading more on this? I've always wanted to understand that better. From what I understand continuations are dual to functions (of universally quantified types). It would be cool to complete the symmetry, for the aesthetics.

[fovc]

Maybe this? https://www.cis.upenn.edu/~bcpierce/tapl/