Shifts the zipper cursor to the left, or returns none() if there is no element in the left list.
none()
The source zipper.
The shifted zipper.
Shifts the zipper cursor to the left, or returns
none()if there is no element in the left list.