open monad io
do putStrLn "Hello world!" ::: IO