set_option trace.Compiler.saveMono true

def g (ys : List Nat) : IO Nat := do
let x := 0
let (_, x) ← StateT.run (ys.forM fun y => IO.println y) x
pure x