Issue705.agda:8,6-7
Ambiguous module name A. It could refer to any one of
  A.A (datatype module)
  Issue705.A
when scope checking the declaration
  open A