started check_input.hs