Algebraic types would solve the issue in the example you're giving. However, those don't exist in golang either.