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

[Paterson, Ross]

> 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".