shift t L = Tape (extendingTail (left t)) (extendingHead (left t)) (current t : right t)
shift t L = Tape (extendingTail (left t)) (extendingHead (left t)) (current t : right t)
shift t L = Tape (extendingTail (left t)) (extendingHead (left t)) (current t : right t)