Singletons/Fixity.hs:(0,0)-(0,0): Splicing declarations
    singletons
      [d| infix 4 ====
          infix 4 <=>
          
          (====) :: a -> a -> a
          a ==== _ = a
          
          class MyOrd a where
            (<=>) :: a -> a -> Ordering
            infix 4 <=> |]
  ======>
    class MyOrd a where
      (<=>) :: a -> a -> Ordering
    infix 4 <=>
    (====) :: a -> a -> a
    (====) a _ = a
    infix 4 ====
    type (====@#@$) :: (~>) a ((~>) a a)
    data (====@#@$) a0123456789876543210
      where
        (:====@#@$###) :: SameKind (Apply (====@#@$) arg) ((====@#@$$) arg) =>
                          (====@#@$) a0123456789876543210
    type instance Apply (====@#@$) a0123456789876543210 = (====@#@$$) a0123456789876543210
    instance SuppressUnusedWarnings (====@#@$) where
      suppressUnusedWarnings = snd (((,) (:====@#@$###)) ())
    infix 4 ====@#@$
    type (====@#@$$) :: 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 (((,) (:====@#@$$###)) ())
    infix 4 ====@#@$$
    type (====@#@$$$) (a0123456789876543210 :: a) (a0123456789876543210 :: a) =
        (====) a0123456789876543210 a0123456789876543210 :: a
    infix 4 ====@#@$$$
    type (====) :: a -> a -> a
    type family (====) a a where
      (====) a _ = a
    type (<=>@#@$) :: forall a. (~>) a ((~>) a Ordering)
    data (<=>@#@$) a0123456789876543210
      where
        (:<=>@#@$###) :: SameKind (Apply (<=>@#@$) arg) ((<=>@#@$$) arg) =>
                         (<=>@#@$) a0123456789876543210
    type instance Apply (<=>@#@$) a0123456789876543210 = (<=>@#@$$) a0123456789876543210
    instance SuppressUnusedWarnings (<=>@#@$) where
      suppressUnusedWarnings = snd (((,) (:<=>@#@$###)) ())
    infix 4 <=>@#@$
    type (<=>@#@$$) :: forall a. a -> (~>) a Ordering
    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 (((,) (:<=>@#@$$###)) ())
    infix 4 <=>@#@$$
    type (<=>@#@$$$) (a0123456789876543210 :: a) (a0123456789876543210 :: a) =
        (<=>) a0123456789876543210 a0123456789876543210 :: Ordering
    infix 4 <=>@#@$$$
    class PMyOrd a where
      type (<=>) (arg :: a) (arg :: a) :: Ordering
    infix 4 %====
    infix 4 %<=>
    (%====) ::
      forall a (t :: a) (t :: a).
      Sing t -> Sing t -> Sing (Apply (Apply (====@#@$) t) t :: a)
    (%====) (sA :: Sing a) _ = sA
    instance SingI ((====@#@$) :: (~>) a ((~>) a a)) where
      sing = (singFun2 @(====@#@$)) (%====)
    instance SingI d => SingI ((====@#@$$) (d :: a) :: (~>) a a) where
      sing = (singFun1 @((====@#@$$) (d :: a))) ((%====) (sing @d))
    class SMyOrd a where
      (%<=>) ::
        forall (t :: a) (t :: a).
        Sing t -> Sing t -> Sing (Apply (Apply (<=>@#@$) t) t :: Ordering)
    instance SMyOrd a =>
             SingI ((<=>@#@$) :: (~>) a ((~>) a Ordering)) where
      sing = (singFun2 @(<=>@#@$)) (%<=>)
    instance (SMyOrd a, SingI d) =>
             SingI ((<=>@#@$$) (d :: a) :: (~>) a Ordering) where
      sing = (singFun1 @((<=>@#@$$) (d :: a))) ((%<=>) (sing @d))