continuation-data-type: encapsulates continuations into a
data type.
