Add missing Monad/Traversable instances to tuples

[Elliot Cameron]

I agree with Andreas and Henning's line of reasoning: Add the instances IFF
we have warnings for them and can effectively outlaw them in our codebases
if we want to. If we take this stance *both *sides of the debate are
motivated to add the feature.

On Thu, Apr 4, 2019 at 9:45 AM Richard Eisenberg <rae at richarde.dev> wrote:

>
>
> On Apr 4, 2019, at 3:12 AM, Andreas Abel <andreas.abel at ifi.lmu.de> wrote:
>
> Not everything that is mathematically consequential is good software
> engineering practice.
>
>
> +1 to that -- which means -1 to the proposal.
>
> I might change my mind if the proposal includes the instance warnings,
> following Henning's reasoning.
>
> Richard
> _______________________________________________
> Libraries mailing list
> Libraries at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/libraries/attachments/20190404/c52f954d/attachment.html>