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