Examples: * replace Bob's `result_type` with operator * replace Bob's four operator "Engine promotion traits" with single parameterized callable
