Some random questions I can't figure out from the spec: - Is prompt-tag argument (call-with-continuation-prompt etc.) required to be an object created by make-continuation-prompt-tag, or can it be arbitrary object?
- Is the type of objects created by make-continuation-prompt disjoint from other types? - Is the type of objects created by make-continuation-mark-key disjoint from other types?