Issue1375.agda:5,1-17,25
Termination checking failed for the following functions:
  Type
Problematic calls:
  Type
    (at Issue1375.agda:9,12-16)
  Term type
    (at Issue1375.agda:11,10-14)
Unsolved interaction metas at the following locations:
  Issue1375.agda:16,34-38
  Issue1375.agda:16,52-56
  Issue1375.agda:17,21-25
