∀ {α ι : Type} {pos : ι} {err : Std.Internal.Parsec.Error} {pos_1 : ι} {err_1 : Std.Internal.Parsec.Error},
  Std.Internal.Parsec.ParseResult.error pos err = Std.Internal.Parsec.ParseResult.error pos_1 err_1 →
    pos = pos_1 ∧ err = err_1