An Order-Theoretic Analysis of Universe Polymorphism. - Kuen-Bang Hou (Favonia); Carlo Angiuli; Reed Mullanix (Proc. ACM Program. Lang., 2023)