sig
  type 'a arg
  type ('f, 'r) t
  val nil : ('r, 'r) Applicative_intf.Args.t
  val cons :
    'a Applicative_intf.Args.arg ->
    ('f, 'r) Applicative_intf.Args.t ->
    ('a -> 'f, 'r) Applicative_intf.Args.t
  val ( @> ) :
    'a Applicative_intf.Args.arg ->
    ('f, 'r) Applicative_intf.Args.t ->
    ('a -> 'f, 'r) Applicative_intf.Args.t
  val step :
    ('f1, 'r) Applicative_intf.Args.t ->
    f:('f2 -> 'f1) -> ('f2, 'r) Applicative_intf.Args.t
  val mapN :
    f:'f -> ('f, 'r) Applicative_intf.Args.t -> 'r Applicative_intf.Args.arg
  val applyN :
    'f Applicative_intf.Args.arg ->
    ('f, 'r) Applicative_intf.Args.t -> 'r Applicative_intf.Args.arg
end