ghc-exactprint-0.5.3.1: tests/examples/ghc80/ExpandSynsFail1.hs

type Foo = Int
type Bar = Bool

main = print $ (1 :: Foo) == (False :: Bar)