restore result.hs