@@ -202,7 +202,7 @@ entails env moduleName context = solve (sortedNubBy canonicalizeDictionary (filt
202typeHeadsAreEqual :: ModuleName -> Environment -> Type -> Type -> Maybe [(String, Type)]
202typeHeadsAreEqual :: ModuleName -> Environment -> Type -> Type -> Maybe [(String, Type)]
203typeHeadsAreEqual _ _ (Skolem _ s1 _) (Skolem _ s2 _) | s1 == s2 = Just []
203typeHeadsAreEqual _ _ (Skolem _ s1 _) (Skolem _ s2 _) | s1 == s2 = Just []
204typeHeadsAreEqual _ _ t (TypeVar v) = Just [(v, t)]
204typeHeadsAreEqual _ _ t (TypeVar v) = Just [(v, t)]
205−-- In this case, we want might want type information to flow back to the typechecker.
205+-- In this case, we might want type information to flow back to the typechecker.
206-- TODO: run this function in the UnifyT monad.
206-- TODO: run this function in the UnifyT monad.
207typeHeadsAreEqual _ _ (TUnknown _) _ = Just []
207typeHeadsAreEqual _ _ (TUnknown _) _ = Just []
208typeHeadsAreEqual _ _ (TypeConstructor c1) (TypeConstructor c2) | c1 == c2 = Just []
208typeHeadsAreEqual _ _ (TypeConstructor c1) (TypeConstructor c2) | c1 == c2 = Just []