Re: [GHC] #12164: Type signatures in patterns not (yet) handled by Template Haskell