Agda-2.3.2.2: test/fail/SizedTypesFunctionFromSuccSize.err

Termination checking failed for the following functions:
  bad
Problematic calls:
  bad zero
    (at SizedTypesFunctionFromSuccSize.agda:19,14-17)