witness-0.7: values that witness types

Index - K

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