Concrete syntax for pattern synonym type signatures

Dr. ERDI Gergo gergo at
Sun Nov 9 04:30:49 UTC 2014

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.

More information about the ghc-devs mailing list