Compose (preface.Preface_laws.Traversable.For

Parameters

module F : Preface_specs.APPLICATIVE

module G : Preface_specs.APPLICATIVE

module C : Preface_specs.APPLICATIVE with type 'a t = 'a G.t F.t

val traversable_composition_1 : 
  unit ->
  ('a -> 'b F.t, ('b -> 'c G.t) -> 'a T.t -> 'c T.t C.t) Law.t