Otherwise we get ugly line breaks. Example:

warning: termination of this expression cannot be proved, but there is no
`diverges' \\
clause in the outer \\
specification