[throwawaymaths]

i dont think you can make a union that has an error enum tag. I dont see why the in-out has to be dependent on the error.