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