Hola,
Además de lo que mencionaba Luis, me da la sensación que tenés algún problema con la detección de variables libres y ligadas en el caso de un case. Digo por tu comentario de que al cambiar xs por zs te funciona bien. Capaz no estás teniendo en cuenta que las variables que aparecen en el pattern `cons` del case "ligan" sus ocurrencias *libres) en la expresión correspondiente a ese caso.
Saludos,
Alberto.
Además de lo que mencionaba Luis, me da la sensación que tenés algún problema con la detección de variables libres y ligadas en el caso de un case. Digo por tu comentario de que al cambiar xs por zs te funciona bien. Capaz no estás teniendo en cuenta que las variables que aparecen en el pattern `cons` del case "ligan" sus ocurrencias *libres) en la expresión correspondiente a ese caso.
Saludos,
Alberto.