Continuation

The continuation type — spelled ? — is the dual of unit. It has no expression syntax whatsoever — it’s only usable in processes. Turn the page to learn all about that!