Issue481.agda:7,53-55
Duplicate definition of module as. Previous definition of module as
at Issue481.agda:6,50-52
when scope checking the declaration
  open module as
    = .#Common.Issue481ParametrizedModule-13267254554463740639 as
