@@ -202,7 +202,7 @@ 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 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.
206206-- TODO: run this function in the UnifyT monad.
207207typeHeadsAreEqual _ _ (TUnknown _) _ = Just []
208208typeHeadsAreEqual _ _ (TypeConstructor c1) (TypeConstructor c2) | c1 == c2 = Just []