Termination checking failed for the following functions:
  bad, bad₂
Problematic calls:
  bad m
    (at Issue59.agda:13,15-18)
  bad₂ n
    (at Issue59.agda:17,13-17)