Por que todo tipo de Eq não é em Haskell?

Ou melhor, porque não é(==) utilizável em todos os tipos de dados? Por que temos que derivarEq nossaeleves? Em outras linguagens, como Python, C ++ e com certeza outras, ele tem uma implementação padrão para tudo! Não consigo pensar em tipos que não podem ser comparados.