Module Algebra.Monoid

module Monoid: sig .. end

A monoid is a type with an id and an associative binary operation.

module type S = sig .. end