It feels like there should be a better solution that doesn’t need the unreachable!. But I’m not sure if the “Err on first that fails a mapping” then “unify Ok and Err by two different maps” operation is available and better (I couldn’t find one, anyway).