
\begin{code}
module Main (main) where

main :: IO ()
main = putStr "Hello world!"
\end{code}

