jaror, 7 months ago This gives a nice practical motivation for GADTs and existential quantification. This existentials and GADTs can be converted into a CPS style without type equality constraints That sounds interesting. I can't easily imagine what that would look like. Do you have an example?
This gives a nice practical motivation for GADTs and existential quantification.
This existentials and GADTs can be converted into a CPS style without type equality constraints
That sounds interesting. I can't easily imagine what that would look like. Do you have an example?