Here is a GHCI session in which I check the type of hello

Prelude> :l hello.hs 
[1 or 1] Compiling Main
Ok, modules loaded: Main.
*Main> main
Hello World
[()]
*Main> :t hello
hello :: List T IO ()