5.1 品味类型——从通用类型系统开始