CopatternNonterminating.agda:16,1-18,38
Termination checking failed for the following functions:
  illdefined
Problematic calls:
  Stream.tail illdefined
    (at CopatternNonterminating.agda:18,28-38)
