Issue481.agda:7,53-55
Duplicate definition of module as. Previous definition of module as
at
Issue481ParametrizedModule.agda:1,15-41
when scope checking the declaration
  open module as = .#Common.Issue481ParametrizedModule-15647319 as