Traversable (preface.Preface

module type LAWS_APPLICATIVE = sig ... end

module type LAWS_MONAD = sig ... end

module For_monad
  (T : Preface_specs.Traversable.API_OVER_MONAD) : 
  LAWS_MONAD with type 'a t := 'a T.t

module For_applicative
  (T : Preface_specs.Traversable.API_OVER_APPLICATIVE) : 
  LAWS_APPLICATIVE with type 'a t := 'a T.t