infer return type in call