For_applicative (preface.Preface_laws.Traversable.For

Parameters

module T : Preface_specs.Traversable.API_OVER_APPLICATIVE

val traversable_1 : unit -> ('a T.t, 'a T.t) Law.t

module Compose
  (F : Preface_specs.APPLICATIVE)
  (G : Preface_specs.APPLICATIVE) : 
  sig ... end

module Naturality
  (F : Preface_specs.APPLICATIVE)
  (G : Preface_specs.APPLICATIVE)
  (NT : sig ... end) : 
  sig ... end