Here's one thing to consider:

Can you write a function

f :: (Data a) => a -> String
f x = termTag x

It would seem the Data a => Term a instance justifies
this function, and it will always use the default instance.

Now, what happens if "f" is applied to a value of some type
T which is an instance of Data, but has a custom Term instance?