then go (i-1)\r
else take i l \r
\r
-instance (Eq a, Additive a) => Additive (Poly a) where\r
+instance (Additive a) => Additive (Poly a) where\r
zero = Poly []\r
Poly a + Poly b = \r
Poly ( \r
la = length a\r
lb = length b \r
\r
-instance (Eq a, Ring a) => Ring (Poly a) where\r
+instance (Ring a) => Ring (Poly a) where\r
one = Poly [one]\r
neg (Poly l) = Poly (map neg l)\r
a - b = a + (neg b)\r