Operations Table (v1.39.0)

Method Effect
Bind(next) ×7 Chain step, grow union by one slot
Map(mapper) Transform value, error type unchanged
Tap(action) Side effect on success, returns original result
TapOnFailure(action) Side effect on failure, returns original result
Ensure(pred, error) ×7 Guard — widen union by one slot if predicate fails
EnsureAsync(pred, error) ×7 Async guard — same widening
MapError(mapper) Translate error surface (TErrorIn → TErrorOut)