Module Monoid.V

module I : sig ... end
val identity : M.t -> bool