mathlib3

docs(category/monad,bitraversable): add module docstrings #1260

#1286

Merged