Require Export monoid_.
Require Export cmonoid_.
Require Export abmonoid_.
Require Export make_small_cat_.
Module Small_Cat_of_Monoid_ : A_Cat__ := (Make_Small_Cat_ Monoid_).
Module Small_Cat_of_CMonoid_ : A_Cat__ := (Make_Small_Cat_ CMonoid_).
Module Small_Cat_of_AbMonoid_ : A_Cat__ := (Make_Small_Cat_ AbMonoid_).