Re: [Haskell-cafe] tuple and pattern synonym

On May 18, 2020, at 5:18 AM, David Feuer 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