Plus.S
a monoid over an unary polymorphic type.
type 'a t
val zero : unit -> 'a t
zero () constructs a zero element
zero ()
val plus : 'a t -> 'a t -> 'a t
plus x y an associative operation.
plus x y