preface.laws
Traversable.For_monad
preface
preface.core
preface.make
preface.qcheck
preface.specs
preface.stdlib
module T : Preface_specs.Traversable.API_OVER_MONAD
val traversable_1 : unit -> ('a T.t, 'a T.t) Law.t