type family GHC.TypeLits.AppendSymbol (a :: GHC.Types.Symbol)
                                      (b :: GHC.Types.Symbol)
            :: GHC.Types.Symbol
type family GHC.TypeLits.CmpSymbol (a :: GHC.Types.Symbol)
                                   (b :: GHC.Types.Symbol)
            :: Ordering
data GHC.TypeLits.ErrorMessage
  = GHC.TypeLits.Text GHC.Types.Symbol
  | forall t. GHC.TypeLits.ShowType t
  | GHC.TypeLits.ErrorMessage
    GHC.TypeLits.:<>:
    GHC.TypeLits.ErrorMessage
  | GHC.TypeLits.ErrorMessage
    GHC.TypeLits.:$$:
    GHC.TypeLits.ErrorMessage
class GHC.TypeLits.KnownSymbol (n :: GHC.Types.Symbol) where
  GHC.TypeLits.symbolSing :: GHC.TypeLits.SSymbol n
  {-# MINIMAL symbolSing #-}
data GHC.TypeLits.SomeSymbol
  = forall (n :: GHC.Types.Symbol).
    GHC.TypeLits.KnownSymbol n =>
    GHC.TypeLits.SomeSymbol (Data.Proxy.Proxy n)
type family GHC.TypeLits.TypeError (a :: GHC.TypeLits.ErrorMessage)
            :: b where
GHC.TypeLits.natVal ::
  GHC.TypeNats.KnownNat n => proxy n -> Integer
GHC.TypeLits.natVal' ::
  GHC.TypeNats.KnownNat n => GHC.Prim.Proxy# n -> Integer
GHC.TypeLits.sameSymbol ::
  (GHC.TypeLits.KnownSymbol a, GHC.TypeLits.KnownSymbol b) =>
  Data.Proxy.Proxy a
  -> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b)
GHC.TypeLits.someNatVal :: Integer -> Maybe GHC.TypeNats.SomeNat
GHC.TypeLits.someSymbolVal :: String -> GHC.TypeLits.SomeSymbol
GHC.TypeLits.symbolVal ::
  GHC.TypeLits.KnownSymbol n => proxy n -> String
GHC.TypeLits.symbolVal' ::
  GHC.TypeLits.KnownSymbol n => GHC.Prim.Proxy# n -> String
type family (GHC.TypeNats.*) (a :: GHC.Types.Nat)
                             (b :: GHC.Types.Nat)
            :: GHC.Types.Nat
type family (GHC.TypeNats.+) (a :: GHC.Types.Nat)
                             (b :: GHC.Types.Nat)
            :: GHC.Types.Nat
type family (GHC.TypeNats.-) (a :: GHC.Types.Nat)
                             (b :: GHC.Types.Nat)
            :: GHC.Types.Nat
type (GHC.TypeNats.<=) (x :: GHC.Types.Nat) (y :: GHC.Types.Nat) =
  (x GHC.TypeNats.<=? y) ~ 'True :: Constraint
type family (GHC.TypeNats.<=?) (a :: GHC.Types.Nat)
                               (b :: GHC.Types.Nat)
            :: Bool
type family GHC.TypeNats.CmpNat (a :: GHC.Types.Nat)
                                (b :: GHC.Types.Nat)
            :: Ordering
type family GHC.TypeNats.Div (a :: GHC.Types.Nat)
                             (b :: GHC.Types.Nat)
            :: GHC.Types.Nat
class GHC.TypeNats.KnownNat (n :: GHC.Types.Nat) where
  GHC.TypeNats.natSing :: GHC.TypeNats.SNat n
  {-# MINIMAL natSing #-}
type family GHC.TypeNats.Log2 (a :: GHC.Types.Nat) :: GHC.Types.Nat
type family GHC.TypeNats.Mod (a :: GHC.Types.Nat)
                             (b :: GHC.Types.Nat)
            :: GHC.Types.Nat
data GHC.Types.Nat
data GHC.TypeNats.SomeNat
  = forall (n :: GHC.Types.Nat).
    GHC.TypeNats.KnownNat n =>
    GHC.TypeNats.SomeNat (Data.Proxy.Proxy n)
data GHC.Types.Symbol
type family (GHC.TypeNats.^) (a :: GHC.Types.Nat)
                             (b :: GHC.Types.Nat)
            :: GHC.Types.Nat
GHC.TypeNats.sameNat ::
  (GHC.TypeNats.KnownNat a, GHC.TypeNats.KnownNat b) =>
  Data.Proxy.Proxy a
  -> Data.Proxy.Proxy b -> Maybe (a Data.Type.Equality.:~: b)