--- "effect": patch --- fix Stream.withSpan options