If a Function has Closure, then you can split the inputs and apply the function to each sub-input. Often used for arrays.

Example

len(x:xs) = len(x) + len(xs) = 1 + len(xs) as wanted