Module `Applicative.V`

module I : sig ... end

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