@@ -121,8 +121,8 @@ actuallyUnify span variable1 variable2 = do
121 (Is Comparable, _, _, _) -> unifyComparableStructure variable1 variable2
121 (Is Comparable, _, _, _) -> unifyComparableStructure variable1 variable2
122 (_, Is Comparable, _, _) -> unifyComparableStructure variable2 variable1
122 (_, Is Comparable, _, _) -> unifyComparableStructure variable2 variable1
124− (Is Appendable, _, _, Just "Text") -> flexAndUnify variable1
124+ (Is Appendable, _, _, Just "Text.Text") -> flexAndUnify variable1
125− (_, Is Appendable, Just "Text", _) -> flexAndUnify variable2
125+ (_, Is Appendable, Just "Text.Text", _) -> flexAndUnify variable2
126 (Is Appendable, _, _, _) -> unifyAppendable variable1 variable2
126 (Is Appendable, _, _, _) -> unifyAppendable variable1 variable2
127 (_, Is Appendable, _, _) -> unifyAppendable variable2 variable1
127 (_, Is Appendable, _, _) -> unifyAppendable variable2 variable1