Failed to solve the following constraints:
  ℕ × f n =< f _14 (blocked on _14)
Unsolved metas at the following locations:
  ConstructorHeadedDivergenceIn2-2-10.agda:27,5-6
  ConstructorHeadedDivergenceIn2-2-10.agda:30,8-20
