Don't use Down constructor from Data.Ord