sort lists of instances by
- arity of the type constructors (so higher-kinded instances come first)
- name of the class
- argument types