TypeConstructorsWhichPreserveGuardedness3.agda:11,1-12,10
Termination checking failed for the following functions:
  ℕ
Problematic calls:
  ℕ (at TypeConstructorsWhichPreserveGuardedness3.agda:12,9-10)
