I think the pragmatic approach is to just let that be a type analysis failure and force the user to deal with it. We don't need the module system to be automati

I think the pragmatic approach is to just let that be a type analysis failure and force the user to deal with it. We don't need the module system to be automatically perfect in every imaginable extreme, we need it to be fundamentally safe, and then do sane useful things in the situations that are safe.