@@ -70,7 +70,7 @@ implementation Neg a => Num (Complex a) where
70 (*) (a:+b) (c:+d) = ((a*c-b*d):+(b*c+a*d))
70 (*) (a:+b) (c:+d) = ((a*c-b*d):+(b*c+a*d))
71 fromInteger x = (fromInteger x:+0)
71 fromInteger x = (fromInteger x:+0)
73−-- We can't do "implementation Neg a => Num (Complex a)" because
73+-- We can't do "implementation Neg a => Neg (Complex a)" because
74-- we need "abs" which needs "magnitude" which needs "sqrt" which needs Double
74-- we need "abs" which needs "magnitude" which needs "sqrt" which needs Double
75implementation Neg (Complex Double) where
75implementation Neg (Complex Double) where
76 negate = map negate
76 negate = map negate