let nats = let rec aux i () = i, aux (i+1) in aux 0