new polymorphic example and new polymorhic conditional