[tubthumper8]

It's not just syntax, a sum type forces checking for the error whereas a product type does not, so it's a semantic distinction too