test.ml (polymorphism test)