red (1 2 3 4) (3 2 1 5) .
  --> (4 5 1 2 3):Int