define polymorphic expression
implement expression