Module Monoid.I

let (<:>): M.t => M.t => M.t;