Digite assinaturas que nunca fazem sentido
Considerar
(a->a) -> [a] -> Bool
Existe alguma definição significativa para esta assinatura? Ou seja, uma definição que não ignora simplesmente o argumento?
x -> [a] -> Bool
Parece que existem muitas assinaturas que podem ser descartadas imediatamente.