but i think that the only reason we try to unify all the

Target

types under a super type is that we want to be able to say that "`Target.dependencies` is a list of

Target

instances"... ie

covariance