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.