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

On second thoughts, this is unnecessary.  The Report consistently uses
"expression type signature" for the expression and "type signature"
for the declaration.