Continuation Typing Questions
What should be the type of a continuation object, if we know only that that continuation object will be used somehow within an HTML page?
There are various ways in which a continuation may be placed in a page, to create different kinds of web interactions. Is it possible to infer something from the HTML structure about how the continuation is used? Our current
l:action syntax gives one constrained way in which the continuation can be used, and in that one case we can scan out the form fields that will feed to that continuation.
If we allow continuations to be used in unlimited ways, can we still type the continuations?