Рассматривать

(a->a) -> [a] -> Bool

Есть ли какое-либо значимое определение для этой подписи? То есть определение, которое не просто игнорирует аргумент?

x -> [a] -> Bool

Кажется, есть много таких подписей, которые могут быть исключены немедленно.