Agda-2.3.2.2: test/fail/ShadowModule.err
ShadowModule.agda:10,8-9 Duplicate definition of module B. Previous definition of module B at ShadowModule.agda:5,10-11 when scope checking the declaration module B where
ShadowModule.agda:10,8-9 Duplicate definition of module B. Previous definition of module B at ShadowModule.agda:5,10-11 when scope checking the declaration module B where