module Main;
main : IO ();
main = (
    println("Hello World!")
);