Data.Witness.Nat

data NatType t