La opción incorrecta dice:
qux ((x,_),y,z) = if y then fst x else z
Observa el argumento. Qué tipo tiene (x,_)? Y ahora observa el valor que se devuelve. Qué tipo tiene fst x? Qué tipo tiene, entonces, (x,_)?
La opción correcta dice:
qux (x,y,z) = if y then fst x else z
Qué tipo tiene x?
luis