Failed to solve the following constraints:
  _13 := refl [blocked on problem 14]
  [14, 17] _10 = suc zero : ℕ
Unsolved metas at the following locations:
  FrozenMVar.agda:14,7-8
  FrozenMVar.agda:17,9-13
