CyclicModuleDependency.agda:3,8-30
cyclic module dependency:
  CyclicModuleDependency
  CyclicModuleDependency
when scope checking the declaration
  import CyclicModuleDependency