Failed to solve the following constraints:
  _14 := λ x → refl [blocked on problem 16]
  [16, 19] _10 _ = abort _ : A
Unsolved metas at the following locations:
  Issue483a.agda:16,16-17
  Issue483a.agda:18,10-14
