i think those are essentially the same type, but `...

# arrow

[joshua.ewer]

i think those are essentially the same type, but Validated just has some handy factory method to concat the left/error side?