<div dir="auto"><div dir="auto">Add (explicitly-bidirectional record) pattern synonyms to Data.Semigroup:</div><div dir="auto"><br></div><div dir="auto">pattern ArgMin :: a -> b -> ArgMin a b pattern ArgMin {minArg, minValue} = Min (Arg minArg minValue) </div><div dir="auto"><br></div><div dir="auto">pattern ArgMax :: a -> b -> ArgMax a b pattern ArgMax {maxArg, maxValue} = Max (Arg maxArg maxValue)<br></div><div dir="auto"><br></div>As described in <a href="https://ghc.haskell.org/trac/ghc/ticket/13572">https://ghc.haskell.org/trac/ghc/ticket/13572</a></div>