lastNoSuccessVar is introducing a non referentially transparent, hard to debug source of errors where parsing Failures are remembered and, even if they are covered by subsequent combinators, such a...