First class
First class polymorphism