NoSuchModule.agda:3,6-7
No such module X
when scope checking the declaration
  open X