("::" infix)