ghc-exactprint-0.5.0.0: tests/examples/ghc8/ExpandSynsFail1.hs

type Foo = Int
type Bar = Bool

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