Module type CCCat.APPLICATIVE

module type APPLICATIVE = sig .. end

type +'a t 

include CCCat.FUNCTOR

val pure : 'a -> 'a t

val (<*>) : ('a -> 'b) t ->
       'a t -> 'b t