See Note [Prevent unification with type families] in TcUnify for the details. (cherry picked from commit 3e1b8824)