New syntax suggestion: catch with type specs