3.4.1 乘积类型