Re: A Down newtype in Data.Ord?