In a user-defined operator, the left argument should be optional