Failed to solve the following constraints:
  _13 := refl [blocked on problem 14]
  [14, 17] _11 = suc _11 : Nat
Unsolved metas at the following locations:
  OccursCheck1.agda:18,11-12
  OccursCheck1.agda:20,8-12
