Checking that T is in fact derived from Dependency