-- @shouldFailWith DuplicateModule
module M1 where