[UPDATED] Add missing Monad instances to tuples

Henning Thielemann lemming at henning-thielemann.de
Sun Apr 7 08:58:22 UTC 2019

On Sun, 7 Apr 2019, 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)

Still duplicates to the Writer monad.

How about extending the patch by the long needed instance warnings? :-)

More information about the Libraries mailing list