hanoi (scala)