Issue2985-1.agda:20,1-22,43
Termination checking failed for the following functions:
  u
Problematic calls:
  λ { .force → u cons }
    (at Issue2985-1.agda:22,21-42)
  u cons
    (at Issue2985-1.agda:22,34-35)
