Consultas laboratorio

Hola, van las respuestas:

1) e y es son expresiones, se supone que e evalúa a un valor y es a una lista, pero eso no te debe importar al momento de implementar el linting.
2) como dije en 1), es es una expresión cualquiera, el prohibir las expresiones incoherentes es tarea del type-checker
3) te queda: x : (y : (ys : ps))
y las sugerencias son las siguientes:
**Sugerencia para:
ys : [] ++ ps
Eliminar concatenación. Reemplazar por:
ys : ps
**Sugerencia para:
y : [] ++ (ys : ps)
Eliminar concatenación. Reemplazar por:
y : (ys : ps)
**Sugerencia para:
x : [] ++ (y : (ys : ps))
Eliminar concatenación. Reemplazar por:
x : (y : (ys : ps))

saludos