ModuleDoesntExport.agda:6,6-45 The module A doesn't export the following: D, B, module P when scope checking the declaration open A using (B; module P) renaming (D to C)