Good union types in Go would probably need types without a zero value (utcc.utoronto.ca)