-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 On 19/07/14 14:44, Edward Kmett wrote: OK, you have me convinced. You should put these thresholds of yours on the GHC Wiki or something. ;-) I suggest: equating :: Eq a => (b -> a) -> b -> b -> Bool equating p x y = (p x) == (p y) in Data.Eq, exposing it with module Data.Eq ( Eq(..), ) where If this sounds good I can write a patch for it, test it & upload it to phab to have it built & reviewed by austin and you. :-) - -- Alexander alexander@plaimi.net https://secure.plaimi.net/~alexander -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iF4EAREIAAYFAlPKaaYACgkQRtClrXBQc7WyVQD8DjS2IDOakab786kWPP8CJZxU pAJDC90Fu4mtyOvYHGMA+wbKUBXSRgObToeJV0YJiYhWpXyTYw+InAJHRahApu3X =5zNd -----END PGP SIGNATURE-----