type Foo = Bar
type Bar = Foo

main :: IO Foo
main = return ()
