The entire list is visited with the any and the first solutions too (although the check function is only called until a match is found). for (@a) is saved due to the an optimisation that prevents the flattening of the list if it consists of just an array.

Update: Added reference to newly added first solution.