Folks are saying that sum types might eventually come to go after some experimenting with generics. It'll be interesting to see where it goes.