Failed to solve the following constraints:
  ?0 (B = A) = x : A (blocked on _7)
Unsolved metas at the following locations:
  Issue920.agda:16,11-50
Unsolved interaction metas at the following locations:
  Issue920.agda:16,42-47
