-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 It seems the Exception datatype is currently an instance of Eq, that does not even satisfy reflexivity (for Dynamic exceptions). Does anybody use this? What is it good for? Why is it there? What if we delete the instance because it doesn't make sense? Exception is not an instance of Ord currently; it also has an instance Show that does make a little sense - for Dynamic exceptions, it gives (in GHC, not Hugs) the information of what the exception's type looks like. Isaac -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.3 (GNU/Linux) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org iD8DBQFF6bSNHgcxvIWYTTURArNRAJwMmp/keolibaZggANLCe5IMdit7ACcDZkp 1WP7Fkdj36ZEeHxHFem1py8= =gkfv -----END PGP SIGNATURE-----