def f (x : Nat) : IO Nat := do
IO.println x;
pure x;