@@ -121,8 +121,8 @@ actuallyUnify span variable1 variable2 = do
121121 (Is Comparable, _, _, _) -> unifyComparableStructure variable1 variable2
122122 (_, Is Comparable, _, _) -> unifyComparableStructure variable2 variable1
123123
124− (Is Appendable, _, _, Just "Text") -> flexAndUnify variable1
125− (_, Is Appendable, Just "Text", _) -> flexAndUnify variable2
124+ (Is Appendable, _, _, Just "Text.Text") -> flexAndUnify variable1
125+ (_, Is Appendable, Just "Text.Text", _) -> flexAndUnify variable2
126126 (Is Appendable, _, _, _) -> unifyAppendable variable1 variable2
127127 (_, Is Appendable, _, _) -> unifyAppendable variable2 variable1
128128