Agda-2.3.2.2: test/fail/TerminationLambda.err

Termination checking failed for the following functions:
  F
Problematic calls:
  F (Id A)
    (at TerminationLambda.agda:9,11-12)