For example, section 3.13 ends with the note:
case x of { (a,_) | let b = not a in b :: Bool - a }
... Programmers are advised, therefore, to avoid guards that
end with a type signature.
I would support changing a type signature to an expression type
signature in this note
A recent thread on the haskell cafe mailing list summarizes the
problem:
http://www.haskell.org/pipermail/haskell-cafe/2011-June/093488.html
To resolve this confusion, I propose applying the following changes to
the Haskell 2010 report for the next revision of the language:
I think