Re: [GHC] #8967: Add syntax for creating finite maps and sets