9.4 给力细节:深入类型构造器