Consulta

Si, es correcto. Sólo algunos comentarios:

- (x,y) es un par, así que no puede ser de tipo lista [a]

- si (y:x) es de tipo lista [a] entonces y sería de tipo a, por lo que no tiene por qué ser una lista y entonces no puedo hacerle head

saludos