Как этот Haskell функционирует для вычисления перестановок с помощью работы понимания списка?

Я читаю Haskell Simon Thompson: Ремесло Функционального программирования, и я задаюсь вопросом, как делает эту работу:

perms [] = [[]]
perms xs = [ x:ps | x <- xs , ps <- perms ( xs\\[x] ) ]

Я, может казаться, не схватываю как это perms( xs\\[x] ) как предполагается, функционирует. Трассировка двух списков элемента показывает:

perms [2,3]
  [ x:ps | x <- [2,3] , ps <- perms ( [2,3] \\ [x] ) ]       exe.1
  [ 2:ps | ps <- perms [3] ] ++ [ 3:ps | ps <- perms [2] ]   exe.2
  ...

Как Вы идете от exe.1 кому: exe.2?