there's no reason for the higher-order operators a...

# rx

[jw]

there's no reason for the higher-order operators and low-level execution semantics to be coupled to each other