Module `Applicative.V`

module I : sig ... end

val identity : 'a List.Applicative.t -> bool
val homomorphism : ('a -> 'b) -> 'a -> bool
val interchange : ('a -> 'b) List.Applicative.t -> 'a -> bool