@@ -282,7 +282,7 @@ unboundTypeVars declKind typeName givenVars unboundVars =
282 , Help.reflowParagraph $
282 , Help.reflowParagraph $
283 "Here's why. Imagine one `" ++ typeName ++ "` where `" ++ head unboundVars ++
283 "Here's why. Imagine one `" ++ typeName ++ "` where `" ++ head unboundVars ++
284 "` is an Int and another where it is a Bool. When we explicitly list the type\
284 "` is an Int and another where it is a Bool. When we explicitly list the type\
285− \ variables, type checker can see that they are actually different types."
285+ \ variables, the type checker can see that they are actually different types."