21 Nov
2010
21 Nov
'10
9:10 p.m.
Can I ask that the name Reverse not be used? I have a newtype wrapper for Ord by that name which I'm planning to propose adding to base (in a month or so, once the semester ends so I have the time). I can't think of another good name for the obvious Ord transformer,
As far as an Ord instance represents a relation, ``Converse'' would be a natural name for something representing the converse relation. Wolfram