T136b.ghc86.template

Singletons/T136b.hs:(0,0)-(0,0): Splicing declarations
    singletons
      [d| class C a where
            meth :: a -> a |]
  ======>
    class C a where
      meth :: a -> a
    type MethSym1 (arg0123456789876543210 :: a0123456789876543210) =
        Meth arg0123456789876543210
    instance SuppressUnusedWarnings MethSym0 where
      suppressUnusedWarnings = snd (((,) MethSym0KindInference) ())
    data MethSym0 :: forall a0123456789876543210.
                     (~>) a0123456789876543210 a0123456789876543210
      where
        MethSym0KindInference :: forall arg0123456789876543210
                                        arg. SameKind (Apply MethSym0 arg) (MethSym1 arg) =>
                                 MethSym0 arg0123456789876543210
    type instance Apply MethSym0 arg0123456789876543210 = Meth arg0123456789876543210
    class PC (a :: GHC.Types.Type) where
      type Meth (arg :: a) :: a
    class SC a where
      sMeth :: forall (t :: a). Sing t -> Sing (Apply MethSym0 t :: a)
    instance SC a => SingI (MethSym0 :: (~>) a a) where
      sing = (singFun1 @MethSym0) sMeth
Singletons/T136b.hs:(0,0)-(0,0): Splicing declarations
    singletons
      [d| instance C Bool where
            meth = not |]
  ======>
    instance C Bool where
      meth = not
    type family Meth_0123456789876543210 (a :: Bool) :: Bool where
      Meth_0123456789876543210 a_0123456789876543210 = Apply NotSym0 a_0123456789876543210
    type Meth_0123456789876543210Sym1 (a0123456789876543210 :: Bool) =
        Meth_0123456789876543210 a0123456789876543210
    instance SuppressUnusedWarnings Meth_0123456789876543210Sym0 where
      suppressUnusedWarnings
        = snd (((,) Meth_0123456789876543210Sym0KindInference) ())
    data Meth_0123456789876543210Sym0 :: (~>) Bool Bool
      where
        Meth_0123456789876543210Sym0KindInference :: forall a0123456789876543210
                                                            arg. SameKind (Apply Meth_0123456789876543210Sym0 arg) (Meth_0123456789876543210Sym1 arg) =>
                                                     Meth_0123456789876543210Sym0 a0123456789876543210
    type instance Apply Meth_0123456789876543210Sym0 a0123456789876543210 = Meth_0123456789876543210 a0123456789876543210
    instance PC Bool where
      type Meth a = Apply Meth_0123456789876543210Sym0 a
    instance SC Bool where
      sMeth ::
        forall (t :: Bool).
        Sing t
        -> Sing (Apply (MethSym0 :: TyFun Bool Bool -> GHC.Types.Type) t)
      sMeth (sA_0123456789876543210 :: Sing a_0123456789876543210)
        = (applySing ((singFun1 @NotSym0) sNot)) sA_0123456789876543210