-import "Prelude" hiding (zero, one)\r
-\r
-class MyAdditive a where\r
- zero :: a\r
- \r
-class (MyAdditive a) => MyRing a where\r
- one :: a\r
-\r
-instance MyAdditive Integer where\r
- zero = 0\r
-\r
-instance MyRing Integer where\r
- one = 1\r
- \r
-data Poly a = Poly [a]\r
-\r
-instance (MyAdditive a) => MyAdditive (Poly a) where\r
- zero = Poly []\r
-\r
-instance (MyRing a) => MyRing (Poly a) where\r
- one = Poly [one]\r
- \r
-main :: Poly Integer\r
-main = one\r
---\r
+import "Prelude" hiding (zero, one)
+
+class MyAdditive a where
+ zero :: a
+
+class (MyAdditive a) => MyRing a where
+ one :: a
+
+instance MyAdditive Integer where
+ zero = 0
+
+instance MyRing Integer where
+ one = 1
+
+data Poly a = Poly [a]
+
+instance (MyAdditive a) => MyAdditive (Poly a) where
+ zero = Poly []
+
+instance (MyRing a) => MyRing (Poly a) where
+ one = Poly [one]
+
+main :: Poly Integer
+main = one
+--