Issue1078.agda:7,1-19
You tried to load Issue1078/B.agda
which defines the module Issue1078.A. However, according to the
include path this module should be defined in
Issue1078/A.agda.
when scope checking the declaration
  import Issue1078.B
