A parser which returns #t as the parse result and the untouched input as the remainder if input is empty.