Derivação automática da classe Eq para Tipo