Did some typeInfer stuff