improve autocompletion in catch()