Re: [GHC] #7485: Tuple constraints not properly kinded