Details
-
Improvement
-
Status: Open
-
Major
-
Resolution: Unresolved
-
None
-
None
-
None
Description
As discussed on dev@, Zero, Semigroup and Monoid can be merged directly in one single interface
As discussed on dev@, Zero, Semigroup and Monoid can be merged directly in one single interface