Filtering Nothing und entpacken Just

Ich habe Probleme mit diesem Programm.

filterJust :: [Maybe a] -> [a]

filterJust [] = []
filterJust x = map fromJust (filter (isJust) x)

aber ghci meldet dies weiterhin

BEARBEITEN

Ich möchte kein zusätzliches Modul verwenden, also habe ich folgendes gemacht:

filterJust :: [Maybe a] -> [a]

filterJust x = map unpack (filter (Nothing /=) x)

unpack (Just a) = a

und ich bekomme diese Nachricht

und ich verstehe nicht warum. Ich sollte in der Lage sein, Eq-Funktionen zu verwenden, ohne etwas zu importieren, oder?

Antworten auf die Frage(4)

Ihre Antwort auf die Frage