type Foo = Int
type Bar = Bool

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