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