Module type Applicative.Basic2

module type Basic2 = sig .. end

include Functor.Basic2

val pure : 'a -> ('p, 'a) t

val ap : ('p, 'a -> 'b) t -> (unit -> ('p, 'a) t) -> ('p, 'b) t