@@ -166,7 +166,7 @@ toReport _localizer err =
166166 ( Help.stack
167167 [ text "You probably need to change the declaration like this:"
168168 , dullyellow $ hsep $
169− map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ ["=", "…"])
169+ map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ ["=", "..."])
170170 ]
171171 )
172172
@@ -185,7 +185,7 @@ toReport _localizer err =
185185 ++ ") that do not appear in the declaration."
186186 , text "You probably need to change the declaration like this:"
187187 , dullyellow $ hsep $
188− map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ unbound ++ ["=", "…"])
188+ map text ("type" : "alias" : typeName : filter (`notElem` unused) givenVars ++ unbound ++ ["=", "..."])
189189 ]
190190 )
191191
@@ -203,7 +203,7 @@ unboundTypeVars declKind typeName givenVars unboundVars@(tvar:_) =
203203 , hsep $
204204 map text (declKind : typeName : givenVars)
205205 ++ map (dullyellow . text) unboundVars
206− ++ map text ["=", "…"]
206+ ++ map text ["=", "..."]
207207 , Help.reflowParagraph $
208208 "Here's why. Imagine one `" ++ typeName ++ "` where `" ++ tvar ++ "` is an Int and\
209209 \ another where it is a Bool. When we explicitly list the type variables, type\