You can do `(A == B)~ False` but that won't affect type variable unification. Pretty sure `/~` would break type class coherence under haskell's open world assu

You can do `(A == B)~ False` but that won't affect type variable unification. Pretty sure `/~` would break type class coherence under haskell's open world assumption?