It’s one of the issues. The other is that you quickly will want to work with these algebraic structures as objects themselves. When the algebraic structure is e

It’s one of the issues. The other is that you quickly will want to work with these algebraic structures as objects themselves. When the algebraic structure is encoded as a protocol, you won’t be able to manipulate them as first-class values. For instance, you’ll want this if you want to do things like factorizing groups, constructing products (like the semi direct product), computing graded algebras, computing homomorphisms, constructing Groebner bases, etc.