Issue1266.agda:12,34-35
Ambiguous name A. It could refer to any one of
  A bound at Issue1266.agda:12,9-10
  Issue1266.A bound at
    Issue1266.agda:7,5-6
(hint: Use C-c C-w (in Emacs) if you want to know why)
when scope checking A
