module Issue586 where

{-# NO_TERMINATION_CHECK #-}
Foo : Set
Foo = Foo