Termination checking failed for the following functions:
  bad
Problematic calls:
  bad (suc y) x
    (at SizedTypesVarSwap.agda:19,17-20)