Urgh. Product types masquerading as sum types. Give me a break will ya. -- Andrei
1. The product solution is more pleasant to work with, if you have no sugar for sum types like pattern matching.
2. It's the same as with exception specifications: Product types make ignoring the error path easier thus are more popular.
