Fallibility

The fallible primitive cannot fail when invoked with arguments of the specified types.

The fallible primitive can indeed fail when invoked with arguments of the specified types.

The fallible primitive must fail when invoked with arguments of the specified types.

The fallible primitive may have the effect of invoking some function body, which makes it subject to reification while it runs. The call site should be prepared to produce a reified continuation if this happens.