Traversable.For_monad
module T : Preface_specs.Traversable.API_OVER_MONAD
val traversable_1 : unit -> ('a T.t, 'a T.t) Law.t