第9章:隐性类型