Nat : * ) !zero : Nat) !suc n : Nat) The declaration says that Nat is a type with kind * (i.e., it is a simple type) and two constructors: zero and suc.
Nat : * ) !zero : Nat) !suc n : Nat) Declarația spune că Nat este un tip cu natură * (adică este un tip simplu) și doi constructori: zero și suc.