module TerminationNoArgs where

loop : Set
loop = loop