id : (-> Nat Nat)
id = (the (-> Nat Nat) (fn x x))
id = (the (-> Nat Nat) (fn x x))
