IO works in Main.hs