Infer types