Post #2457470

@wim_v12e@merveilles.town I missed these articles the first time, but perhaps I can shed some light? Junction is derived directly from Mu, and Any is derived directly from Mu as well, and this is actually how auto-threading is triggered: whenever parameter binding for a function call fails because a Junction was passed to a parameter that was typed Any or a sub-type of Any, the call is re-attempted with the values inside the Junction one at a time, and the result of the call is re-assembled into a new Junction of the same type. If you just want your original code to work without the need for a collapse operation, then you can just change pair to take Mu arguments instead of the default that you get when you don't put a type constraint on parameters which is Any. Then instead of pair (42^43),R doing pair(42, R)^pair(43, R) because the call gets autothreaded, you end up with actually a function that calls its argument with (4243) and R instead of a junction with two functions, and fst and snd "accidentally" work