Levity polymorphism