Deconstruct an S to its optional first element A and tail S.
S structure to uncons into its first element A and tail S.