Tomasz Zielonka wrote: > Why not forget about ApproxEq for () and Bool and simply define a > function? > > (~=) :: (Ord a, Num a) => a -> a -> Bool > x ~= y = abs (x-y) < 1 Indeed, this works best. The instance for lists is also not too important. Christian