witness-0.3.0.1: values that witness types
Data.Witness.Nat
data NatKind Source
Constructors
Instances
data Nat t where Source