V.I
val (<:>) : Functors.OptionF.Int.Additive.Semigroup.t -> Functors.OptionF.Int.Additive.Semigroup.t -> Functors.OptionF.Int.Additive.Semigroup.t