Issue1445-3.agda:19,13-16
Global confluence check failed: Bar unit y can be rewritten to
either Unit or Foo y.
Possible fix: add a rewrite rule with left-hand side Bar unit y to
resolve the ambiguity.
when checking confluence of the rewrite rule bar with
Issue1445-3.Bar-clause1
