第10章:隐性类型