Some work on type classes in the Prelude