∀ (parse : Std.Internal.Parsec.String.Parser Char) (size : ℕ) (acc : String) (count : ℕ),
  Std.Time.exactlyChars.go✝ parse size acc count =
    if count ≥ size then pure acc
    else do
      let res ← parse
      Std.Time.exactlyChars.go✝¹ parse size (acc.push res) count.succ