I'm assuming here all instantiated target types are top-level ... but maybe this is false now?