Fixed potential universe polymorphism problems