These are chat archives for non/algebra
Semigrouptower from either the additive or the multiplicative version, if one does not exists already (using the
NoImplicittrick) ? That would enable the merge of
Monoid[Map[Key, Field]], but the specific operation would depend on the algebraic structure: addition with
0as the map default value, or multiplication with
1as the map default value. I can see usages for both.
AdditiveXXXand those from
MultiplicativeXXX. We could use the same design to instantiate a
Semilatticeeither from the meet or the join variant.
comparemethods (which I think map to intrinsics) which aren't available on 1.6 (e.g. https://docs.oracle.com/javase/7/docs/api/java/lang/Integer.html#compare(int,%20int) )