ShadowModule2.agda:10,21-33
Duplicate definition of module YesDuplicate. Previous definition of
module YesDuplicate at
ShadowModule2.agda:7,28-40
when scope checking the declaration
  open module YesDuplicate = NotDuplicate
