Module Int.Additive

module Apply : sig ... end
module Applicative : sig ... end
module Monad : sig ... end