writeAndMove :: (Alphabet, Move) -> Tape -> Tape
writeAndMove (s, m) t = shift t' m
	where t' = write t s

-- Runs the TM, and outputs the final result as a list
writeAndMove :: (Alphabet, Move) -> Tape -> Tape
writeAndMove (s, m) t = shift t' m
	where t' = write t s

-- Runs the TM, and outputs the final result as a list
writeAndMove (s, m) t = shift t' m
	where t' = write t s

-- Runs the TM, and outputs the final result as a list