Derive a Data instance for more types

[langston-barrett]

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.