In .NET, Seq.exists2 does not fail on sequences of differing length, Array.exists2 checks same length immediately, List.exists2 fails when it reaches the end of one list but not the other.