module Imports.NonTerminating where

Foo : Set
Foo = Foo