Partial control flow is still not an example of premonoidally traced category: the trace should transfer to the base monoidal category with either-or-both tensor, and this does not satisfy the axioms of trace.
Tags: partial function.
Partial control flow is still not an example of premonoidally traced category: the trace should transfer to the base monoidal category with either-or-both tensor, and this does not satisfy the axioms of trace.
Tags: partial function.