Types of Nat
What is Type? | IxDF