Ltac f := simpl.
Goal Type.
f; exact 0.
Abort.