The article mentions that one can implement a union type that doesn't do boxing.