No cumple con el tipo especificado para any, dado que para poder aplicar la desigualdad (/=) la lista [a] tiene que ser instancia de Eq, lo que implica que se necesita Eq a.
Por lo que el tipo quedaría:
any :: Eq a => (a -> Bool) -> [a] -> Bool