T326.golden

Singletons/T326.hs:0:0:: Splicing declarations
    genPromotions [''C1]
  ======>
    type (<%>@#@$) :: forall a. (~>) a ((~>) a a)
    data (<%>@#@$) a0123456789876543210
      where
        (:<%>@#@$###) :: SameKind (Apply (<%>@#@$) arg) ((<%>@#@$$) arg) =>
                         (<%>@#@$) a0123456789876543210
    type instance Apply (<%>@#@$) a0123456789876543210 = (<%>@#@$$) a0123456789876543210
    instance SuppressUnusedWarnings (<%>@#@$) where
      suppressUnusedWarnings = snd (((,) (:<%>@#@$###)) ())
    infixl 9 <%>@#@$
    type (<%>@#@$$) :: forall a. a -> (~>) a a
    data (<%>@#@$$) a0123456789876543210 a0123456789876543210
      where
        (:<%>@#@$$###) :: SameKind (Apply ((<%>@#@$$) a0123456789876543210) arg) ((<%>@#@$$$) a0123456789876543210 arg) =>
                          (<%>@#@$$) a0123456789876543210 a0123456789876543210
    type instance Apply ((<%>@#@$$) a0123456789876543210) a0123456789876543210 = (<%>@#@$$$) a0123456789876543210 a0123456789876543210
    instance SuppressUnusedWarnings ((<%>@#@$$) a0123456789876543210) where
      suppressUnusedWarnings = snd (((,) (:<%>@#@$$###)) ())
    infixl 9 <%>@#@$$
    type (<%>@#@$$$) (a0123456789876543210 :: a) (a0123456789876543210 :: a) =
        (<%>) a0123456789876543210 a0123456789876543210 :: a
    infixl 9 <%>@#@$$$
    type PC1 :: GHC.Types.Type -> Constraint
    class PC1 (a :: GHC.Types.Type) where
      type (<%>) (arg :: a) (arg :: a) :: a
    infixl 9 <%>
Singletons/T326.hs:0:0:: Splicing declarations
    genSingletons [''C2]
  ======>
    type (<%%>@#@$) :: forall a. (~>) a ((~>) a a)
    data (<%%>@#@$) a0123456789876543210
      where
        (:<%%>@#@$###) :: SameKind (Apply (<%%>@#@$) arg) ((<%%>@#@$$) arg) =>
                          (<%%>@#@$) a0123456789876543210
    type instance Apply (<%%>@#@$) a0123456789876543210 = (<%%>@#@$$) a0123456789876543210
    instance SuppressUnusedWarnings (<%%>@#@$) where
      suppressUnusedWarnings = snd (((,) (:<%%>@#@$###)) ())
    infixl 9 <%%>@#@$
    type (<%%>@#@$$) :: forall a. a -> (~>) a a
    data (<%%>@#@$$) a0123456789876543210 a0123456789876543210
      where
        (:<%%>@#@$$###) :: SameKind (Apply ((<%%>@#@$$) a0123456789876543210) arg) ((<%%>@#@$$$) a0123456789876543210 arg) =>
                           (<%%>@#@$$) a0123456789876543210 a0123456789876543210
    type instance Apply ((<%%>@#@$$) a0123456789876543210) a0123456789876543210 = (<%%>@#@$$$) a0123456789876543210 a0123456789876543210
    instance SuppressUnusedWarnings ((<%%>@#@$$) a0123456789876543210) where
      suppressUnusedWarnings = snd (((,) (:<%%>@#@$$###)) ())
    infixl 9 <%%>@#@$$
    type (<%%>@#@$$$) (a0123456789876543210 :: a) (a0123456789876543210 :: a) =
        (<%%>) a0123456789876543210 a0123456789876543210 :: a
    infixl 9 <%%>@#@$$$
    type PC2 :: GHC.Types.Type -> Constraint
    class PC2 (a :: GHC.Types.Type) where
      type (<%%>) (arg :: a) (arg :: a) :: a
    infixl 9 <%%>
    class SC2 (a :: GHC.Types.Type) where
      (%<%%>) ::
        forall (t :: a) (t :: a).
        Sing t -> Sing t -> Sing (Apply (Apply (<%%>@#@$) t) t :: a)
    type SC2 :: GHC.Types.Type -> Constraint
    infixl 9 %<%%>
    instance SC2 a => SingI ((<%%>@#@$) :: (~>) a ((~>) a a)) where
      sing = (singFun2 @(<%%>@#@$)) (%<%%>)
    instance (SC2 a, SingI d) =>
             SingI ((<%%>@#@$$) (d :: a) :: (~>) a a) where
      sing = (singFun1 @((<%%>@#@$$) (d :: a))) ((%<%%>) (sing @d))