data-nat (hackage): data Nat = Zero | Succ Nat
Keywords: bsd3|data|library|math