Plus.V
module I : sig ... end
val annihalation : ('a -> 'b) -> bool
val identity : 'a Option.Plus.t -> bool