Add test for ad-hoc polymorphism