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