Data.Ord.HT