Alternative.For_monoidal
module A : Preface_specs.ALTERNATIVE
include Indexed_alternative.LAWS_MONOID with type ('a, _) t := 'a A.t
include Indexed_applicative.LAWS with type ('a, 'index) t := 'a A.t
include Indexed_apply.LAWS with type ('a, 'index) t := 'a A.t