Commit 2022-04-13 23:29 0765994d

chore(order/category/Preorder): reduce imports (#13301) Because punit_instances comes at the very end of the algebraic import hierarchy, we were requiring the entire algebraic hierarchy before we could begin compiling the theory of categorical limits. This tweak substantially reduces the import dependencies.