data Foo = MkFoo
(==) _ _ = False
(+) _ _ = MkFoo
(*) _ _ = MkFoo
main
= print $ 2 + 2 == (4 :: Foo
)
ZGF0YSBGb28gPSBNa0ZvbwoKaW5zdGFuY2UgRXEgRm9vIHdoZXJlCiAgKD09KSBfIF8gPSBGYWxzZQoKaW5zdGFuY2UgT3JkIEZvbyB3aGVyZQogIGNvbXBhcmUgXyBfID0gTFQKCmluc3RhbmNlIE51bSBGb28gd2hlcmUKICAoKykgXyBfID0gTWtGb28KICAoKikgXyBfID0gTWtGb28KICBhYnMgXyA9IE1rRm9vCiAgc2lnbnVtIF8gPSBNa0ZvbwogIGZyb21JbnRlZ2VyIF8gPSBNa0ZvbwogIG5lZ2F0ZSBfID0gTWtGb28KCm1haW4gPSBwcmludCAkIDIgKyAyID09ICg0IDo6IEZvbyk=