run Main.hs
