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