class Foo a where
foo :: a -> a
bar :: Foo a => a -> a
bar a = foo a
foo x = x + 1
main = do
Y2xhc3MgRm9vIGEgd2hlcmUKICAgZm9vIDo6IGEgLT4gYQoKYmFyIDo6IEZvbyBhID0+IGEgLT4gYQpiYXIgYSA9IGZvbyBhCgppbnN0YW5jZSBGb28gSW50IHdoZXJlCiAgIGZvbyB4ID0geCArIDEKCm1haW4gPSBkbwogICBsZXQgeCA9IDEgOjogSW50CiAgIHByaW50IChiYXIgeCk=