Re: [GHC] #9569: Tuple constraints don't work right