Rvar.Monoid
type 'a t = 'a * ('a -> 'a -> 'a)
val empty : 'a t -> 'a
val merge : 'a t -> 'a -> 'a -> 'a