I notice I can't use the type "Complex Rational" because Complex wants a RealFloat (which Rational isn't). It looks like it's the 'abs' in Num that's the problem, it wants to return the magnitude, and for that it needs sqrt. Kind of annoying if you're only using the other members of Num... -- Ashley Yakeley, Seattle WA