[Haskell-cafe] tuple and pattern synonym

[Richard Eisenberg]

> On May 18, 2020, at 5:18 AM, David Feuer <david.feuer at gmail.com> wrote:
> 
> By the way, I personally don't consider the syntax you need to use here remotely obvious. I really wish we had something more intuitive for defining these sorts of patterns!

Would https://github.com/ghc-proposals/ghc-proposals/pull/138 satisfy this wish? I remember really liking this proposal when it appeared, but I never put the time into seeing it through.

Richard