# poly A type to represent polynomials with Num and Semiring instances.