An extractor used to head/tail deconstruct sequences.
Splits a sequence into head +: tail.
Some((head, tail)) if sequence is non-empty. None otherwise.