Imports/NonTerminating.agda:3,1-4,10
Termination checking failed for the following functions:
  Foo
Problematic calls:
  Foo
    (at Imports/NonTerminating.agda:4,7-10)
when scope checking the declaration
  import Imports.NonTerminating
