module Hello where foreign export "hello" hello :: IO () hello :: IO () hello = do putStrLn "Hello world!"