let (<$>) a b = String_operator (a, `Neq, b)