sig
  val ( <*> ) :
    ('a -> 'b) Applicative_intf.S.t ->
    'a Applicative_intf.S.t -> 'b Applicative_intf.S.t
  val ( <* ) :
    'a Applicative_intf.S.t ->
    unit Applicative_intf.S.t -> 'a Applicative_intf.S.t
  val ( *> ) :
    unit Applicative_intf.S.t ->
    'a Applicative_intf.S.t -> 'a Applicative_intf.S.t
end