Update Machine.hs