TH_PromotedTuple.hs:(14,32)-(16,43): Splicing type
    do { ty <- [t| '(Int, False) |];
         reportWarning (show ty);
         return ty }
  ======>
    '(Int, False)

TH_PromotedTuple.hs:14:32: Warning:
    AppT (AppT (PromotedTupleT 2) (ConT GHC.Types.Int)) (PromotedT GHC.Types.False)