AmbiguousTopLevelModuleName.agda:3,1-25
Ambiguous module name. The module name Imports.Ambiguous could
refer to any of the following files:
  Imports/Ambiguous.agda
  Imports/Ambiguous.lagda
when scope checking the declaration
  import Imports.Ambiguous
