Let's get the semantic around closure fixed.

[deadalnix]

On Wednesday, 19 May 2021 at 11:06:29 UTC, deadalnix wrote:
> Composability comes from the invariants you can rely on, and 
> more precisely, the fact that these invariant do not impose 
> constraints on each others.

To go further, in this specific case, there is no composability.

The notion of loops, immutability, ad closure at colliding with 
each others. they do not compose because they don't propose a set 
of invariant which are independent from each other, but, on the 
other hand, step on each others.