Re: WARNING in hptSomeThingsBelowUs

I can provide a test case (the darcs darcs repo) where I have just seen this for the second time. Am 23.03.2017 um 00:43 schrieb Evan Laforge: > I've been seeing this since 6.12. I brought it up 7 (!) years ago, > but unfortunately it doesn't look like I filed a bug as Simon > requested. I

Re: DeriveFoldable treatment of tuples is surprising

> there is a fair bit of user code for things like vector types that do things like newtype V3 a = V3 (a,a,a,a) ^ 1 2 3 4(!?) Oh boy, I sure hope not ;) On Wed, Mar 22, 2017 at 8:14 AM Sven Panne wrote: > 2017-03-21 22:29 GMT+01:00 Edward Kmett

Re: DeriveFoldable treatment of tuples is surprising

2017-03-21 22:29 GMT+01:00 Edward Kmett : > [... In general I think the current behavior is the least surprising as it > "walks all the a's it can" and is the only definition compatible with > further extension with Traversable. [...] > OTOH, the current behavior contradicts my