Issue334.err

Termination checking failed for the following functions:
  f
Problematic calls:
  f e
    (at Issue334.agda:16,18-19)