Promote/T361.hs:0:0:: Splicing declarations
    genDefunSymbols [''Proxy] ======> type ProxySym0 =  'Proxy
Promote/T361.hs:(0,0)-(0,0): Splicing declarations
    promote
      [d| f :: Proxy 1 -> Proxy 2
          f Proxy = Proxy |]
  ======>
    f :: Proxy 1 -> Proxy 2
    f Proxy = Proxy
    type FSym1 (a0123456789876543210 :: Proxy 1) =
        F a0123456789876543210
    instance SuppressUnusedWarnings FSym0 where
      suppressUnusedWarnings = snd (((,) FSym0KindInference) ())
    data FSym0 :: (~>) (Proxy 1) (Proxy 2)
      where
        FSym0KindInference :: forall a0123456789876543210
                                     arg. SameKind (Apply FSym0 arg) (FSym1 arg) =>
                              FSym0 a0123456789876543210
    type instance Apply FSym0 a0123456789876543210 = F a0123456789876543210
    type family F (a :: Proxy 1) :: Proxy 2 where
      F  'Proxy = ProxySym0