levity polymorphism