Support passing in the types to type inferrers