errors/ModuleDoesntExport.agda:6,1-44
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)