Type-inference Packages