Module Make_applicative_unit.Open_on_rhs_intf

module type S