nicer notation for trywith tactic