@@ -320,7 +320,8 @@ unifyFlexSuper context super content otherContent =
320 case otherSuper of
320 case otherSuper of
321 Number -> merge context content
321 Number -> merge context content
322 Comparable -> merge context content
322 Comparable -> merge context content
323+ Appendable -> mismatch
323− _ -> mismatch
324+ CompAppend -> mismatch
325 Comparable ->
326 Comparable ->
326 case otherSuper of
327 case otherSuper of