Issue5565.agda:2,3-8
Cannot generalize over unsolved sort metas:
  _1 at Issue5565.agda:2,7-8
Suggestion: add a 'variable Any : Set _' and replace unsolved metas
by Any

———— All done; warnings encountered ————————————————————————

Issue5565.agda:2,3-8
Cannot generalize over unsolved sort metas:
  _1 at Issue5565.agda:2,7-8
Suggestion: add a 'variable Any : Set _' and replace unsolved metas
by Any
