Add missing Monad/Traversable instances to tuples

[Matthew Farkas-Dyck]

On 02/04/2019, Fumiaki Kinoshita <fumiexcel at gmail.com> wrote:
> Fine, let's forget about Foldable instances. What about Monad and
> Traversable?

Traversable requires Foldable.