Buenas, haciendo este ejercicio me quedo la duda de si lo estoy resolviendo bien.
Creo que las opciones de (x,y) e (y:x) son incorrectas porque y podría llegar a no ser una lista y generaría problemas con que se haga el head de y.
Luego creo que la opcion (9:(x:y)) obliga a que la variable de tipo a sea siempre Int lo cual creo que es incorrecto.
Y luego, la opcion (_:(x,y)) seria correcta ya que y seria una lista, x seria un elemento del tipo a y antes de estos se puede tener cualquier cosa en la lista, por el guión.
Esto es correcto? Muchas gracias