Ничего не фильтрует и просто распаковывает

У меня проблемы с этой программой.

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

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

но Ghci продолжает сообщать об этом

РЕДАКТИРОВАТЬ:

Я не хочу использовать какой-либо дополнительный модуль, поэтому я сделал это:

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

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

unpack (Just a) = a

и я получаю это сообщение

и я не понимаю почему. Я должен быть в состоянии использовать функции Eq без импорта Anthing правильно?

Ответы на вопрос(2)

Ваш ответ на вопрос