Type Inference Packages