ℕ : Type