Failed to solve the following constraints:
  F (♭ x) = _20 (x = x) : I (blocked on _20)
  G x = _14 (x = x) : I (blocked on _14)
Unsolved metas at the following locations:
  Issue118Comment9.agda:17,11-12
  Issue118Comment9.agda:20,11-12
  Issue118Comment9.agda:25,16-19
  Issue118Comment9.agda:28,15-24
