T197.ghc84.template

Singletons/T197.hs:(0,0)-(0,0): Splicing declarations
    singletons
      [d| infixl 5 $$:
          
          ($$:) :: Bool -> Bool -> Bool
          _ $$: _ = False |]
  ======>
    infixl 5 $$:
    ($$:) :: Bool -> Bool -> Bool
    ($$:) _ _ = False
    type ($$:@#@$$$) (t :: Bool) (t :: Bool) = ($$:) t t
    instance SuppressUnusedWarnings ($$:@#@$$) where
      suppressUnusedWarnings
        = snd ((GHC.Tuple.(,) (:$$:@#@$$###)) GHC.Tuple.())
    data ($$:@#@$$) (l :: Bool) (l :: TyFun Bool Bool)
      = forall arg. SameKind (Apply (($$:@#@$$) l) arg) (($$:@#@$$$) l arg) =>
        (:$$:@#@$$###)
    type instance Apply (($$:@#@$$) l) l = ($$:) l l
    instance SuppressUnusedWarnings ($$:@#@$) where
      suppressUnusedWarnings
        = snd ((GHC.Tuple.(,) (:$$:@#@$###)) GHC.Tuple.())
    data ($$:@#@$) (l :: TyFun Bool (TyFun Bool Bool
                                     -> GHC.Types.Type))
      = forall arg. SameKind (Apply ($$:@#@$) arg) (($$:@#@$$) arg) =>
        (:$$:@#@$###)
    type instance Apply ($$:@#@$) l = ($$:@#@$$) l
    type family ($$:) (a :: Bool) (a :: Bool) :: Bool where
      ($$:) _ _ = FalseSym0
    infixl 5 %$$:
    (%$$:) ::
      forall (t :: Bool) (t :: Bool).
      Sing t -> Sing t -> Sing (Apply (Apply ($$:@#@$) t) t :: Bool)
    (%$$:) _ _ = SFalse