Failed to solve the following constraints:
  b =< ?0 : Bool (blocked on _b_5)
Unsolved metas at the following locations:
  Issue3855c.agda:13,36-37
Unsolved interaction metas at the following locations:
  Issue3855c.agda:13,29-34
