Experimental support for n-way sum types.