Requires non-empty (length 1+) sequence. There are use cases where 0-length (empty) might be required.