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