A C# pattern that tests the length and indexed elements of a countable, indexable input, optionally with one slice.