many : Parser e s d c a -> Parser e s d c (List a)
many p ctx =
  let
    loop acc delta s1 =
      case p ctx s1 of
        (Ok a, d, s2) -> 
          if d == ctx.empty
          then
            Debug.todo
              <| "the argument to `many` succeeded, but consumed nothing, "
              ++ "good luck searching where it happened!"
          else
            loop (a :: acc) (ctx.append delta d) s2
        (Err e, d, s2) ->
          if d == ctx.empty
          then
            (Ok (List.reverse acc), delta, s1)
          else
            (Err e, ctx.append delta d, s2)
  in
    loop [] ctx.empty