More TypeInfer Function