LAWS_APPLICATIVE (preface.Preface_laws.Traversable.LAWS

type 'a t

val traversable_1 : unit -> ('a t, 'a 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