La opción incorrecta dice:
qux ((x,y,z):((_,_,w):_)) = (x,y,z):w
Observa el valor que devuelve (x,y,z):w. Qué tipos tienen x, y, z, w? Qué tipo tiene, entonces, ((x,y,z):((_,_,w):_))?
La opción correcta dice:
qux ((x,_,z):((_,y,_):w)) = (x,y,z):w
Si w tiene k elementos; cuántos elementos hay en la lista que se devuelve? y cuántos en la que se da como entrada?
luis