minor infer types