Add `@infix`