I'm pretty eager to see this DIP. After doing work on writing up value type exceptions, I have a number of suggestions on improving a more generalized form of sum types :)