polymorphic variables