module type Basic2 = sig .. end
sig
end
include Applicative.Basic2
val bind : ('a -> ('p, 'b) t) -> ('p, 'a) t -> ('p, 'b) t
('a -> ('p, 'b) t) -> ('p, 'a) t -> ('p, 'b) t