WebSharper

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.