Haskell: type inference and function composition

Question

This question was inspired by this answer to another question, indicating that you can remove every occurrence of an element from a list using a function defined as:

Answer 1

It is also worth noting that if you don't assign a name to the expression, typechecker seems to avoid type defaulting:

Prelude> :t filter . (/=)
filter . (/=) :: (Eq a) => a -> [a] -> [a]