@neauoire i'm having a hard time grasping what does this example represent. how would it look like when expressed in, say, lambda calculus, or a lisp, or whatever? is such an analogue even possible here?