I think Go union type proposals should start with their objectives