Issue1375-4.agda:5,1-12,13
Termination checking failed for the following functions:
  Type
Problematic calls:
  Type
    (at Issue1375-4.agda:9,15-19)
  Term type
    (at Issue1375-4.agda:11,10-14)
Issue1375-4.agda:18,23-59
Term _y_14 !=< Type of type Set
when checking that the inferred type of an application
  Term _y_14
matches the expected type
  Type
