Is iterating over the typexpr the right or reasonable way of uncovering that transitive dependency (on type N.t specifically rather than on the module N in its entirety) without recourse to opening any other file?
In your example, `N` will be a dependency of `M` and thus a transitive
dependency of the current module.