On Feb 27, 2018, at 9:19 AM, Joachim Breitner <mail@joachim-breitner.de> wrote:

As patterns in pattern synonyms, by Richard.
https://github.com/ghc-proposals/ghc-proposals/pull/94

I've written lots of proposals, but just to correct the record here, this one's by Simon PJ. :)

Yes, I'm happy to accept.

Richard