
Is that possible with the open world assumption? I personally would definitely be in favor of that if it's technically possible.
Tom
El 24 feb 2016, a las 13:17, John Wiegley
amindfv
writes: (What I'm proposing is, since there is a sizeable number of people on both sides of the issue who don't seem to be coming closer to an agreement, we bring a vote *to the users* on whether to provide Foldable/Traversable instances for tuples of size 2 and greater. If users say they're useful, we keep/add 'em. If they find them confusing/not useful, we remove/don't add 'em)
Also, would we still have access to the instances if we directly import Data.Foldable? Some of us do use them.
-- John Wiegley GPG fingerprint = 4710 CF98 AF9B 327B B80F http://newartisans.com 60E1 46C4 BD1A 7AC1 4BA2