Test+String+IsSemigroup.swift

public extension AssociativeLaw where Element: Semigroup {
    ///
    /// It verifies if the set of elements are **associative** through Semigroup's composition (`<>`).
    ///
    /// The `<>` operator is used to express associativity in an abstract way.
    /// This is because elements can either be associative through *addition* (`+`) or through *multiplication* (`*`).
    ///
    /// - Parameters:
    ///   - a: The first semigroup element
    ///   - b: The second semigroup element
    ///   - c: The third semigroup element
    ///
    static func verify(a: Element, b: Element, c: Element) -> Bool {
        verify(a: a, b: b, c: c, operation: <>)
    }
}