第25章:单纯的类型