Compose (preface.Preface_laws.Traversable.LAWS

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 -> 'c t C.t) Law.t