WarningOnImport.agda:1,1-33
Deprecated: Use Impossible instead
when scope checking the declaration
  open import WarningOnImport.Impo
WarningOnImport.agda:3,5-6
Deprecated: Use B instead
when scope checking A

———— All done; warnings encountered ————————————————————————

WarningOnImport.agda:1,1-33
Deprecated: Use Impossible instead
when scope checking the declaration
  open import WarningOnImport.Impo

WarningOnImport.agda:3,5-6
Deprecated: Use B instead
when scope checking A
