@@ -216,7 +216,6 @@ unifySchemes :: Predicate TypeVariable -> [(Scheme, Scheme)] -> UnifyM Substitut
216216unifySchemes _ [] = pure mempty
217217unifySchemes f ((x, y) : rest) = do
218218 s <- unifyScheme f x y
219− -- TODO: This should probably be (s <>)
220219 sub s <$> unifySchemes f (sub s rest)
221220
222221unifyScheme :: Predicate TypeVariable -> Scheme -> Scheme -> UnifyM Substitution
@@ -243,8 +242,7 @@ solveWithPriority ::
243242solveWithPriority _ Empty = return mempty
244243solveWithPriority f (rest :|> c) = do
245244 s <- unifyWithPriority f c
246− -- TODO: This should probably be (s <>)
247− (<> s) <$> solveWithPriority f (fmap (sub s) rest)
245+ sub s <$> solveWithPriority f (fmap (sub s) rest)
248246
249247data Errors
250248 = UndefinedVariable VarName