It would be really nice to have a diagram, like the one in the Prelude, of all the typeclasses in this package.