@@ -176,6 +176,18 @@ diffType oldType newType =
176 (Just oldExt, Just newExt) ->
176 (Just oldExt, Just newExt) ->
177 (:) (oldExt, newExt) <$> diffFields fields fields'
177 (:) (oldExt, newExt) <$> diffFields fields fields'
179+ (Type.Unit, Type.Unit) ->
182+ (Type.Tuple a b cs, Type.Tuple x y zs) ->
183+ if length cs /= length zs then
186+ do aVars <- diffType a x
187+ bVars <- diffType b y
188+ cVars <- concat <$> zipWithM diffType cs zs
189+ return (aVars ++ bVars ++ cVars)
179 (_, _) ->
191 (_, _) ->