Module Monoid.V

module I : sig ... end
val identity : Functors.OptionF.Int.Additive.Monoid.t -> bool