Re: Proposal: give a field name to Data.Ord.Down