Commit 2025-02-02 14:16 72fe8e29
View on Github →perf(Algebra.Quaternion): reorder instances in spread (#21030)
As @JovanGerb reminded me, we still have some places where supplied instance ordering can result in an unnecessarily unfolded term. Quaternion.instDivisionRing
is one such.