List Decomposition Example
lConsider a defining equation:
l[ F | R ] = [1, 2, 3, 4]
lF is a variable represents the first element, so:
lF == 1
lR is a variable representing the rest of the elements, so:
l R == [2, 3, 4]
l