minhs-type-inference