Re: [GHC] #12165: Multiple pattern type signatures accepted