You could have sum types, and not generics to cover many of these cases I guess? And then Go could have the error type it kind of wants to have.