Why not, the thing that matters is namespace pollution. If you declare that you imported the `pool` variable why wouldn't that be fine, there is no need to use `pool.pool` everywhere? And why would importing a "module" called "pool" be better?

Since an imported module is just a normal variable anyway, the same rule should apply.