initial commit for Check.hs