Add missing Monad/Traversable instances to tuples

Niklas Hamb├╝chen mail at
Tue Apr 2 10:03:10 UTC 2019

As somebody who's seen stuff like

  > sum (1,2)

sneak into production code, I am also very scared of having more of it.

I would be super appreciative of any technical solution that allows those that want these instances to opt into having them, while making it possible to not have them in most business logic code.

On 02/04/2019 9:40 AM, Matthew Pickering wrote:
> To repeat the main reason: this change introduces bugs into programs
> which are very hard to detect.

More information about the Libraries mailing list