Re: [Haskell-cafe] What is a "simple pattern binding"?

Still, the clause

b1 contains a free identifier that has no type signature and is bound by b2

applies the phrase "has no type signature" to the identifier, not to the binding. Such phrasing does not exclude expression type-signatures.

True. That ambiguity could be avoided by adding the word "declaration" after "type signature".