Re: Add missing Monad/Traversable instances to tuples

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 wrote:

On Apr 4, 2019, at 3:12 AM, Andreas Abel 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@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/libraries