Estoy con el ejercicio de listas 9.2 de mumuki, quizas alguno lo resolvió antes y figuraba como otro numero de ejercicio en mumuki porque creo que sacaron secciones.
Me perdí con este ejercicio, si me pueden dar una mano es de gran ayuda.
   

Bueno, no recuerdo mucho de este ejercicio pero paso mi solución:

 

exists funBool lista = foldl (||) False (map funBool lista)

exists :: (a -> Bool) -> [a] -> Bool

Hay más de una solución posible, por supuesto. Esta, la función (||) es un OR, y pone como semilla el False. Con que (map funBool lista) de true una vez, el Or va a dar true.
La segunda línea es el tipo o "firma".

Ahora, algunos comentarios sobre tu solución, más allá de que no está dando el resultado correcto. Fijáte lo de los parámetros innecesarios. En tu función, podrías simplificar lista de los dos lados. Esto solo se puede hacer si lista está al final en ambos casos, y fuera de paréntesis. A eso se refiere con el segundo error.