Type-Signaturen, die niemals Sinn machen
Erwäge
(a->a) -> [a] -> Bool
Gibt es eine aussagekräftige Definition für diese Signatur? Das heißt, eine Definition, die das Argument nicht einfach ignoriert?
x -> [a] -> Bool
Es scheint, dass es viele solche Signaturen gibt, die sofort ausgeschlossen werden können.