arrow-typed-errors