Re: Concrete syntax for pattern synonym type signatures

On Sat, 8 Nov 2014, Richard Eisenberg wrote:

I should also note that I intended the `forall`s to be optional.

Of course, the forall binders are optional in all proposals.