[UPDATED] Add missing Monad instances to tuples

[Mario Blažević]

On 2019-04-07 4:54 a.m., Fumiaki Kinoshita wrote:
> I removed Foldable/Traversable instances from the patch with reluctance. 
> I'd still like to add these instances:
> 
> Functor ((,,) a b)
> (Monoid a, Monoid b) => Applicative ((,,) a b)
> (Monoid a, Monoid b) => Monad ((,,) a b)
> Functor ((,,,) a b c)
> (Monoid a, Monoid b, Monoid c) => Applicative ((,,,) a b c)
> (Monoid a, Monoid b, Monoid c) => Monad ((,,,) a b c)

You have a +1 from me. I can't wait to hear the objections to these.