This would be the ultimate feature. Languages with dynamic dispatch would do well to implement this feature.