module main

main : IO ()
main = putStrLn "Hello world"