Naturality (preface.Preface_laws.Traversable.For

Parameters

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.t -> 'b T.t G.t) Law.t