@@ -689,6 +689,15 @@ unifyStructure context flatType content otherContent =
689 Unify k ->
689 Unify k ->
690 k vars ok err
690 k vars ok err
692+ (Tuple1 a b Nothing, Tuple1 x y Nothing) ->
693+ do subUnify context a x
694+ subUnify context b y
696+ (Tuple1 a b (Just c), Tuple1 x y (Just z)) ->
697+ do subUnify context a x
698+ subUnify context b y
699+ subUnify context c z
693 mismatch context Nothing
702 mismatch context Nothing