Termination checking failed for the following functions:
  repeat, repeat'
Problematic calls:
  repeat' a
    (at FakeProjectionsDoNotPreserveGuardedness.agda:31,25-32)
  .FakeProjectionsDoNotPreserveGuardedness.♯-0 a
    (at FakeProjectionsDoNotPreserveGuardedness.agda:34,19-20)
  repeat a
    (at FakeProjectionsDoNotPreserveGuardedness.agda:34,21-27)