The problem with this is that there are Foldables that do not behave in the way that is implied by the above re-write of the parameters.
I think this is kind of the problem when you are really high up in abstraction-land. The functions that you're using are so generic that it's hard to say that they operate on anything in particular, except that the arguments fulfill certain properties or laws.