Make Polynomial in Typeclass Eq