Structs

explicit lifetime for Monoid. S implements Copy trait for convenience.