This should support type inference at the package level, Must handling circular dependencies.
This should support type inference at the package level, Must handling circular dependencies.