Hola, creo que te referís al caso:
any p = (/= []) . filter p
Ese caso no es correcto porque, aunque la función se comporta como queremos, al usar (/=) sobre las listas se necesita que el tipo de sus elementos sea instancia de Eq, por lo que el tipo de any te cambia a:
any :: Eq a => (a -> Bool) -> [a] -> Bool
saludos