@Derek Berner The key here is that since IO can be destructured imperatively in
fx
you don’t need transformers. You can just run an IO that recovers delegating to Validation and pass the values to applicative map or tupled to perform error accumulation if needed with the Nel semigroup