errors/AmbiguousModule.agda:5,3-17
Shadowing of module A defined at
errors/AmbiguousModule.agda:3,8-9
is not allowed
when scope checking the declaration
  module A where