KindOf | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
KnownNat | Data.Singletons.TypeLits |
KnownSymbol | Data.Singletons.TypeLits |
KProxy | |
1 (Data Constructor) | Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
2 (Type/Class) | Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |