(Kind) This is the kind of type-level symbols.
Instances7SingKind, TestCoercion, TestEquality, SingI, Compare, DemoteRep, …
SingKind SymbolDefined in ghc-internal-9.1003.0 · GHC.Internal.GenericsTestCoercion SSymbolDefined in ghc-internal-9.1003.0 · GHC.Internal.TypeLitsTestEquality SSymbolDefined in ghc-internal-9.1003.0 · GHC.Internal.TypeLitsKnownSymbol a => SingI aDefined in ghc-internal-9.1003.0 · GHC.Internal.Genericstype Compare a b = CmpSymbol a bDefined in ghc-internal-9.1003.0 · GHC.Internal.Data.Type.Ordtype DemoteRep Symbol = StringDefined in ghc-internal-9.1003.0 · GHC.Internal.Genericsdata SingSSym :: KnownSymbol s => R:SingSymbols s