errors/ClashingModule.agda:5,1-15
The modules A and A clash.
when scope checking the declaration
  module A where