Make1.2-Elt
type 'a t
val empty : 'a t
The identity element of cat.
cat
val cat : 'a t -> 'a t -> 'a t
The binary operator, which must be associative.