mathlib

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

docs(category/monad,bitraversable): add module docstrings #1260 (#1286) * docs(category/monad,bitraversable): add module docstrings * more docs * still more doc * doc about traversable