InferType