ord -package:sbv -package:leancheck -package:cabal-install-solver -package:purescript-bridge -package:checkers package:first-class-families

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