AmbiguousSet1.agda:5,8-12
Ambiguous name Set₁. It could refer to any one of
  Set bound at AmbiguousSet1.agda:3,45-48
  Set₁ bound at
    AmbiguousSet1.agda:3,58-62
(hint: Use C-c C-w (in Emacs) if you want to know why)
when scope checking Set₁
