Old `base` doesn't have `Data.Ord.Down` on my VPS