Agda-2.3.2.2: test/fail/InstanceArgumentsAmbiguous.err

Unsolved metas at the following locations:
  InstanceArgumentsAmbiguous.agda:8,8-9