exact unification in the opposite order

now as a tactic, thanks to Jason:

Ltac exact_op x :=
  let T := type of x in
  let G := match goal with |- ?G => constr:(G) end in
  exact ((@id G : T -> G) x).