make × universe polymorphic