Try this:
  [apply] simp only [Nat.foo]