Issue636.err

Termination checking failed for the following functions:
  not-d
Problematic calls:
  not-d (♭ x)
    (at Issue636.agda:16,15-20)