@@ -202,9 +202,6 @@ entails env moduleName context = solve (sortedNubBy canonicalizeDictionary (filt
202202typeHeadsAreEqual :: ModuleName -> Environment -> Type -> Type -> Maybe [(String, Type)]
203203typeHeadsAreEqual _ _ (Skolem _ s1 _) (Skolem _ s2 _) | s1 == s2 = Just []
204204typeHeadsAreEqual _ _ t (TypeVar v) = Just [(v, t)]
205−-- In this case, we might want type information to flow back to the typechecker.
206−-- TODO: run this function in the UnifyT monad.
207−typeHeadsAreEqual _ _ (TUnknown _) _ = Just []
208205typeHeadsAreEqual _ _ (TypeConstructor c1) (TypeConstructor c2) | c1 == c2 = Just []
209206typeHeadsAreEqual m e (TypeApp h1 t1) (TypeApp h2 t2) = (++) <$> typeHeadsAreEqual m e h1 h2
210207 <*> typeHeadsAreEqual m e t1 t2