Test that unions over different data types throw and error