Ord -package:basic-prelude -package:xmonad-contrib -package:numeric-prelude package:first-class-families

Equality and ordering. Note that equality doesn't really require a class, it can be defined uniformly as TyEq.