run Main.hs