Ничего не фильтрует и просто распаковывает
У меня проблемы с этой программой.
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 правильно?