infer functions missed during type inference.