Derive a Data instance for more types

The `Data` class is, while not ubiquitous, quite useful in a variety of settings. It would be elementary to add a `deriving Data` clause to (at least) the types for which `Typeable` is already derived. Would you accept a pull request doing so?

It seems like it would also be a good idea to derive `Generic` for most types.