-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA256 - -1 because I'm not convinced this belongs in Data.List. comparing is in Data.Ord and is: Data.Ord comparing :: Ord a => (b -> a) -> b -> b -> Ordering So equating should be in Data.Eq, with: equating :: Eq a => (b -> a) -> b -> b -> Bool Furthermore I do not like your definition, and would prefer: equating p x y = (p x) == (p y) With these issues amended, I'm 0 on the proposal. - -- Alexander alexander@plaimi.net https://secure.plaimi.net/~alexander -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 Comment: Using GnuPG with Thunderbird - http://www.enigmail.net/ iF4EAREIAAYFAlPKToAACgkQRtClrXBQc7X59AD9GjgcSZnFPxMY1jJLt5KFP/PI /StXr9g6igtoFqTigJ8BALGhPgy63dY1jXoKxrUoGaS9FgRX6ZM7SklGsDiEKn7h =usCs -----END PGP SIGNATURE-----