LAWS_APPLICATIVE.Naturality
module F : Preface_specs.APPLICATIVE
module G : Preface_specs.APPLICATIVE
module NT : sig ... end
val traversable_naturality_1 : unit -> ('a -> 'b F.t, 'a t -> 'b t G.t) Law.t