@@ -290,7 +290,7 @@ adjustRankContent youngMark visitMark groupRank content =
290290
291291 Structure flatType ->
292292 case flatType of
293− App1 _ args ->
293+ App1 _ _ args ->
294294 foldM (\rank arg -> max rank <$> go arg) outermostRank args
295295
296296 Fun1 arg result ->
@@ -304,7 +304,14 @@ adjustRankContent youngMark visitMark groupRank content =
304304 do extRank <- go extension
305305 foldM (\rank field -> max rank <$> go field) extRank fields
306306
307− Alias _ args _ ->
307+ Unit1 ->
308+ -- THEORY: a unit never needs to get generalized
309+ return outermostRank
310+
311+ Tuple1 a b cs ->
312+ foldM (\rank arg -> max rank <$> go arg) outermostRank (a:b:cs)
313+
314+ Alias _ _ args _ ->
308315 -- THEORY: anything in the realVar would be outermostRank
309316 foldM (\rank (_, argVar) -> max rank <$> go argVar) outermostRank args
310317