1 import "Prelude" hiding (zero, one)
\r
3 class MyAdditive a where
\r
6 class (MyAdditive a) => MyRing a where
\r
9 instance MyAdditive Integer where
\r
12 instance MyRing Integer where
\r
15 data Poly a = Poly [a]
\r
17 instance (MyAdditive a) => MyAdditive (Poly a) where
\r
20 instance (MyRing a) => MyRing (Poly a) where
\r
23 main :: Poly Integer
\r