EmptyInductiveRecord.err

Termination checking failed for the following functions:
  empty, empty?
Problematic calls:
  empty?
    (at EmptyInductiveRecord.agda:23,13-19)
  empty
    (at EmptyInductiveRecord.agda:26,14-19)