{-# OPTIONS --no-termination-check #-} module optionsPragma where -- Only goes through with the termination checker turned off. Foo : Set Foo = Foo