Disjunctive.BsMonoidExtensions
module I: { ... };
let power: Monoid.t => int => Monoid.t;
let guard: bool => Monoid.t => Monoid.t;