document as infix rather than monadic operator