Tue, 19 Mar 2002 03:47:22 -0800
(moved to Cafe)
At 2002-03-19 03:33, email@example.com wrote:
>I've already declared Gaussian a as being of class Eq so why does it need
>to be told again?
No you haven't. You've declared 'Eq a => Eq (Gaussian a)' -- 'Gaussian a'
is Eq if 'a' is, not 'Eq (Gaussian a)'.
instance Eq a => Num (Gaussian a) where
...and actually looking at your code, I think you want this:
instance Num a => Num (Gaussian a) where
Ashley Yakeley, Seattle WA