Data.Ord.Down is missing instances for Num, Semigroup, Monoid, ...

[blamario]

The deriving clause for those classes is commented out, presumably because the classes can't be brought into scope without a cyclic import.

[augustss]

Yes, it's a mess with cycles. I'll see if I can sort it out.