`import using` or `import hiding` in Idris2

Question

I\'d like to import Control.App into a module that refers to PrimIO.PrimIO via the unqualified name PrimIO in a lot of places. The pro