Better construction of infix has_args