多相型
polymorphism
$ \lambda 2