关于幺半群的 crate。

关于等性的说明

文档中的一些部分使用等性来陈述必须成立的规则。严格来说，这当然需要涉及到的类型实现 [Eq]。然而，由于这些要求并未被强制执行，确保这些规则取决于库用户的最佳努力。例如，您可能希望将 f32 和 f64 作为加法或乘法下的幺半群考虑，尽管它们在一般情况下非常非结合，因为它们对于“驯服”输入（不太大也不太小）来说是近似结合的。