On Sun, Nov 15, 2015 at 2:37 AM, Martin Vlk <martin@vlkk.cz> wrote:
A follow up question.. what do you mean by elements being "naturally
foldable"? Is it that you could just cons them together without any
transformation?
E.g. Numbers are naturally summable. Summing is a form of folding.