Re: [GHC] #13572: Add ArgMin / ArgMax pattern synonyms