Agda-2.3.2.2: test/fail/A/B/M.agda

module A.B.M where