Re: [GHC] #7021: Tuple (and other exotic predicates) not yet handled in Template Haskell