Type Classes and User-defined Relations (Pierre Castéran, Matthieu Sozeau)

• Module EMonoid
• Module Lost_in_NY
• Module Mat
• Module Monoid
• Module Monoid_op_classes
• Module Monoid_prog
• Module Power_mono
• Module Trace_Monoid