Class TypeInference