> I wonder how we would try to explain 'case Integer x, null, Double x'... (Does 'x' get bound to 'null'? How?) Your suggestion to always put the null first probably helps.