fixing dependency traversal. no laziness. no diamond awareness.