witness-0.6.2: values that witness types

Index - K

KnownNatData.Type.Witness.Specific.Natural, Data.Type.Witness
KnownSymbolData.Type.Witness.Specific.Symbol, Data.Type.Witness
KProxy 
1 (Data Constructor)Data.Type.Witness
2 (Type/Class)Data.Type.Witness