@@ -228,10 +228,6 @@ typeHeadsAreEqual m e r1@(RCons _ _ _) r2@(RCons _ _ _) =
228 go [] (TypeVar v1) [] (TypeVar v2) | v1 == v2 = Just []
228 go [] (TypeVar v1) [] (TypeVar v2) | v1 == v2 = Just []
229 go [] (Skolem _ s1 _) [] (Skolem _ s2 _) | s1 == s2 = Just []
229 go [] (Skolem _ s1 _) [] (Skolem _ s2 _) | s1 == s2 = Just []
230 go sd r [] (TypeVar v) = Just [(v, rowFromList (sd, r))]
230 go sd r [] (TypeVar v) = Just [(v, rowFromList (sd, r))]
231− -- Technically, this case should result in solved variables. Until the constraint
232− -- solver runs in the UnifyT monad, this just means that some (unusual) instances
233− -- will not be found.
234− go _ (TypeVar _) _ (TypeVar _) = Just []
235 go _ _ _ _ = Nothing
231 go _ _ _ _ = Nothing
236typeHeadsAreEqual _ _ _ _ = Nothing
232typeHeadsAreEqual _ _ _ _ = Nothing