Minimal need to declare types.

• 对类型声明的需求最少。