多形类型

polymorphic type