Add polymorphic type test.