class Foo a b where
    foo :: a -> b

instance Foo a a where
    foo x = x :: a

main = "OK"
--
OK