sig
  type t
  val mempty : Algebra.Monoid.S.t
  val mappend :
    Algebra.Monoid.S.t -> Algebra.Monoid.S.t -> Algebra.Monoid.S.t
end