Buenas,
En la letra se dice que no se puede modificar la cabecera de las funciones.
Para la funcion lintRec nosotros pensamos utilizar la igualdad entre dos objetos del tipo Expr o FunDef (ambas clases derivan Eq).
Nos da un error de compilacion, y la solucion que se nos ocurrio es definir la funcion de la siguiente manera: lintRec :: Eq a => Linting a -> Linting a
Queremos saber si esto es valido o si debemos encontrar otra implementacion de la funcion.
Gracias.