Approximate equality worked out. Well, UndecidableInstances but still