singletons-2.7: tests/compile-and-dump/Promote/T361.golden

Promote/T361.hs:0:0:: Splicing declarations
    genDefunSymbols [''Proxy]
  ======>
    type ProxySym0 = 'Proxy :: Proxy (t :: k)
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 FSym0 :: (~>) (Proxy 1) (Proxy 2)
    data FSym0 a0123456789876543210
      where
        FSym0KindInference :: SameKind (Apply FSym0 arg) (FSym1 arg) =>
                              FSym0 a0123456789876543210
    type instance Apply FSym0 a0123456789876543210 = FSym1 a0123456789876543210
    instance SuppressUnusedWarnings FSym0 where
      suppressUnusedWarnings = snd (((,) FSym0KindInference) ())
    type FSym1 (a0123456789876543210 :: Proxy 1) =
        F a0123456789876543210 :: Proxy 2
    type F :: Proxy 1 -> Proxy 2
    type family F a where
      F 'Proxy = ProxySym0