witness-0.2: values that witness types
Data.Witness.Nat
data Zero Source
Instances
data Succ n Source
data Nat t whereSource
Constructors