Am 18.08.2013 23:21, schrieb Gabriel Gonzalez: > I'm guessing this proposal is related to this Stack Overflow answer you > gave: > > http://stackoverflow.com/a/18289075/1026598 That's a nice idea for a fundamental problem. How about generalizing 'fold' to Foldable types?