use run.hs