Agda-2.3.2.2: test/fail/CopatternCheckingNYI.err

Termination checking failed for the following functions:
  alternate
Problematic calls:
  alternate
    (at CopatternCheckingNYI.agda:18,32-41)