Agda-2.3.2.2: test/fail/TypeConstructorsWhichPreserveGuardedness2.err

Termination checking failed for the following functions:
  ℕ
Problematic calls:
  ℕ (at TypeConstructorsWhichPreserveGuardedness2.agda:14,9-10)