modify Main.hs (IO)