On Friday, 2003-07-25, 21:48, Dylan Thurston wrote: > [...] > Another approach is to make Universe a multi-parameter type class: > > class (RealFrac a, Floating a) => Universe u a | u -> a where > distanceVector :: u -> Vector a -> Vector a -> Vector a > ... > > You need to use ghc with '-fglasgow-exts' for this. Or hugs with '-98'. > Peace, > Dylan Wolfgang