module ImplicitPrelude where

result :: Int
result = 3 + 4

main :: Fay ()
main = putStrLn (show result)