Documentation for universe polymorphism