To be clear, this is the part that sounds like Python 3 to me: > Since we’re just about to break things, might I again suggest we add Foldable1, and clean up P

To be clear, this is the part that sounds like Python 3 to me: > Since we’re just about to break things, might I again suggest we add Foldable1, and clean up Prelude? If breakage is breakage (it is), we might as well take advantage of it and do as much cleanup as possible. This is an excellent opportunity. The status-quo is for all of us to argue about it every week, with half the people saying “these are bad circumstances and we should fix them,” with the other half saying “yes, they are bad circumstances, but breakage is worse.” > But given that we now have breakage, let’s make the most of it. I don’t know how costly that larger scope is. Maybe it’s similarly low to this one change?