I don't want to make that equivalence; I just wanted to compare both members to nil at once. It it's not worth it, so I just did:
I have two Optionals within a non-Optional tuple because the four states have distinct user-level meanings. Neither being nil means each sequence has at least one element after a common prefix. Only the first as nil means that the first sequence is a prefix of the second. Vice-versa goes when only the second is nil. The sequences are identical when both returns are nil. What is your fifth state (making the entire tuple nil) supposed to mean?