||| This is a docstring
main : IO ()
main = putStrLn "Hello, World"