Companion

The metatype for all continuation types. In particular, it's just the instanceMeta for the mostGeneralContinuationType.

The most general continuation type. Since continuation types are contravariant by argument types and contravariant by return type, the most general type is the one taking bottom as the arguments list (i.e., not specific enough to be able to call it), and having the return type bottom.

Create a continuation type based on the passed function type. Ignore the function type's exception set.