ClashingModule.agda:5,8-9
Duplicate definition of module A. Previous definition of module A
at ClashingModule.agda:4,8-9
when scope checking the declaration
  module A where