correct test.hs