You tried to load Imports/B.agda which defines the module Imports.A. However, according to the include path this module should be defined in Imports/A.agda.