Issue484.agda:10,8-13
Not in scope:
  A.foo at Issue484.agda:10,8-13
when scope checking A.foo