Estou tendo problemas com este programa.

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

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

mas ghci continua relatando isso

EDITAR:

Eu não quero usar nenhum módulo adicional, então eu fiz isso:

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

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

unpack (Just a) = a

e eu recebo esta mensagem

e eu não entendo o porquê. Eu deveria poder usar as funções Eq sem importar nada, certo?